From 4d253e00e131f5b027c89f91c083a9fc812e5090 Mon Sep 17 00:00:00 2001 From: Tim 'mithro' Ansell Date: Tue, 26 May 2020 08:13:30 -0700 Subject: [PATCH] Exclude build directory from check_license. Signed-off-by: Tim 'mithro' Ansell --- .github/check_license.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/check_license.sh b/.github/check_license.sh index 0969de08..df9ac448 100755 --- a/.github/check_license.sh +++ b/.github/check_license.sh @@ -16,7 +16,7 @@ echo ERROR_FILES="" FILES_TO_CHECK=`find . \ -size +0 -type f \( -name '*.sh' -o -name '*.py' -o -name 'Makefile' -o -name '*.tcl' \) \ - \( -not -path "*/.*/*" -not -path "*/third_party/*" -not -path "*/database/*" -not -path "*/env/*" \)` + \( -not -path "*/.*/*" -not -path "*/third_party/*" -not -path "*/database/*" -not -path "*/env/*" -not -path "*/build/*" \)` for file in $FILES_TO_CHECK; do echo "Checking $file"