aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 4bec9ed3..2c1d4897 100644
--- a/Makefile
+++ b/Makefile
@@ -122,7 +122,7 @@ install:
check:
- for afile in `find . -type f -perm +111|grep -v \.csh | grep -v po/ ` ; do \
+ for afile in `find . -type f -perm +111|grep -v \.csh | grep -v .git | grep -v po/ ` ; do \
if ! file $$afile | grep -s ELF >/dev/null; then \
bash -n $$afile || { echo $$afile ; exit 1 ; } ; \
fi ;\