From 199cb21b50d186a81fef3a9b2762b6d06e7daaca Mon Sep 17 00:00:00 2001
From: Evan Theurer <theurer@struktur.de>
Date: Wed, 2 Jul 2014 18:21:49 +0200
Subject: [PATCH] Do not check files in build/*

---
 src/hooks/pre-commit.hook | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/hooks/pre-commit.hook b/src/hooks/pre-commit.hook
index 522ed4f5..990d0350 100755
--- a/src/hooks/pre-commit.hook
+++ b/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`