diff options
Diffstat (limited to 'util/lint/lint-stable-013-site-local')
| -rwxr-xr-x | util/lint/lint-stable-013-site-local | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/util/lint/lint-stable-013-site-local b/util/lint/lint-stable-013-site-local index 43c4542a04..d701ee07b3 100755 --- a/util/lint/lint-stable-013-site-local +++ b/util/lint/lint-stable-013-site-local @@ -22,7 +22,9 @@ LC_ALL=C export LC_ALL -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 if [ -n "$(git ls-files site-local/*)" ]; then echo "Error: site-local must be kept separate from the coreboot repository." fi |