diff options
Diffstat (limited to 'util/lint/lint-stable-017-configs')
-rwxr-xr-x | util/lint/lint-stable-017-configs | 19 |
1 files changed, 8 insertions, 11 deletions
diff --git a/util/lint/lint-stable-017-configs b/util/lint/lint-stable-017-configs index 311ef38cd0..3f92f53b3c 100755 --- a/util/lint/lint-stable-017-configs +++ b/util/lint/lint-stable-017-configs @@ -4,21 +4,18 @@ # DESCR: Check that saved config files are miniconfigs -LC_ALL=C export LC_ALL +LINTDIR="$( + cd -- "$(dirname "$0")" > /dev/null 2>&1 || return + pwd -P +)" -SYMBOLS='CONFIG_ARCH_\|CONFIG_MAINBOARD_HAS_' +# shellcheck source=helper_functions.sh +. "${LINTDIR}/helper_functions.sh" -# Use git grep if the code is in a git repo, otherwise use grep. -if [ -n "$(command -v git)" ] && \ - [ "$(git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ] -then - GREP="git grep -l" -else - GREP="grep -rl" -fi +SYMBOLS='CONFIG_ARCH_\|CONFIG_MAINBOARD_HAS_' #look for a couple of things that should only be set by select keywords for file in \ - $($GREP "$SYMBOLS" configs) ; do \ + $(${GREP_FILES} -l "$SYMBOLS" configs) ; do \ echo "Error: $file seems to be a full config"; \ done |