tools/check_configs.sh

#!/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