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"