diff options
Diffstat (limited to 'util/lint/lint-stable-008-kconfig')
| -rwxr-xr-x | util/lint/lint-stable-008-kconfig | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/util/lint/lint-stable-008-kconfig b/util/lint/lint-stable-008-kconfig index 06e41b8570..25d04b6c7c 100755 --- a/util/lint/lint-stable-008-kconfig +++ b/util/lint/lint-stable-008-kconfig @@ -23,7 +23,9 @@ fi # If coreboot is in a git repo, use git grep to check as it will ignore any # files in the tree that aren't checked into git -if [ -n "$(command -v git)" ] && [ -e ".git" ]; then +if [ -n "$(command -v git)" ] && \ + [ "$(git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ] +then env perl util/lint/kconfig_lint --warnings_off 2>&1 else env perl util/lint/kconfig_lint --no_git_grep --warnings_off 2>&1 |