Ignore JavaScript source files in the top-level distributable files directory

kgryte · kgryte · commit c59493f752dc · 2017-09-25T18:13:43.000-07:00
diff --git a/tools/git/hooks/pre-commit b/tools/git/hooks/pre-commit
@@ -99,7 +99,7 @@ run_lint() {
 	fi
 
 	# Lint JavaScript source files...
-	files=$(echo "${changed_files}" | grep '\.js$' | grep -v -e 'examples' -e 'test' -e 'benchmark' | tr '\n' ' ')
+	files=$(echo "${changed_files}" | grep '\.js$' | grep -v -e 'examples' -e 'test' -e 'benchmark' -e '^dist/' | tr '\n' ' ')
 	if [[ -n "${files}" ]]; then
 		make FILES="${files}" lint-javascript-files > /dev/null >&2
 		if [[ "$?" -ne 0 ]]; then
