diff options
Diffstat (limited to 'util/lint/lint-stable-004-style-labels')
| -rwxr-xr-x | util/lint/lint-stable-004-style-labels | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/util/lint/lint-stable-004-style-labels b/util/lint/lint-stable-004-style-labels index 7b68b4ad63..698b22df78 100755 --- a/util/lint/lint-stable-004-style-labels +++ b/util/lint/lint-stable-004-style-labels @@ -18,7 +18,9 @@ LC_ALL=C export LC_ALL # Use git ls-files if the code is in a git repo, otherwise use find. -if [ -n "$(command -v git)" ] && [ -d .git ]; then +if [ -n "$(command -v git)" ] && \ + [ "$(git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ] +then FIND_FILES="git ls-files" else FIND_FILES="find src" |