Do not check files in build/*

src/hooks/pre-commit.hook

@@ -33,6 +33,9 @@ for file in `git diff-index --cached --name-only HEAD --diff-filter=ACMR| grep "
         */libs/*)
             echo "Not checking library ${file}"
             ;;
+        build/*)
+            echo "Not checking build ${file}"
+            ;;
         *)
             echo "Checking ${file}"
             nf=`git checkout-index --temp ${file} | cut -f 1`