mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-12-10 07:14:36 +01:00
9 lines
323 B
Bash
Executable file
9 lines
323 B
Bash
Executable file
#!/bin/bash
|
|
# Little script to find possibly-misnamed CONFIG lines
|
|
for CONF in PICO_CONFIG PICO_CMAKE_CONFIG PICO_BUILD_DEFINE; do
|
|
for DEF in $(git grep "$CONF:" | sed -n "s/.*$CONF: \+\(\w\+\).*/\1/p"); do
|
|
if [ $(git grep "$DEF" | wc -l) -lt 2 ]; then
|
|
echo "$CONF: $DEF only appears once"
|
|
fi
|
|
done
|
|
done
|