diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 ;\ |