diff options
Diffstat (limited to 'util/lint/lint-stable-013-site-local')
| -rwxr-xr-x | util/lint/lint-stable-013-site-local | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/util/lint/lint-stable-013-site-local b/util/lint/lint-stable-013-site-local index 53693f21d3..7a7dc8b2e2 100755 --- a/util/lint/lint-stable-013-site-local +++ b/util/lint/lint-stable-013-site-local @@ -6,14 +6,22 @@ # Because site-local is intended for local use only, it should never be # pushed to coreboot.org. Even for committing it for local use, it's # recommended that it be kept in a separate repository, and pulled in -# as a git submodule. +# as a submodule. -LC_ALL=C export LC_ALL +LINTDIR="$( + cd -- "$(dirname "$0")" > /dev/null 2>&1 || return + pwd -P +)" -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 +# shellcheck source=helper_functions.sh +. "${LINTDIR}/helper_functions.sh" + +# Exit if the code isn't in a git repo +if [ "${IN_GIT_TREE}" -eq 0 ]; then + exit 0 +fi + + +if [ -n "$(${FIND_FILES} site-local/*)" ]; then + echo "Error: site-local must be kept separate from the coreboot repository." fi |