From ac34bb846b983eee9f59408ef635366ad618f2e7 Mon Sep 17 00:00:00 2001 From: Harald Hoyer Date: Mon, 4 May 2009 16:08:11 +0200 Subject: ignore .git bash files for check target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 3a3eba33..d8f1c3c9 100644 --- a/Makefile +++ b/Makefile @@ -109,7 +109,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 po/ |grep -v .git/` ; do \ if ! file $$afile | grep -s ELF >/dev/null; then \ bash -n $$afile || { echo $$afile ; exit 1 ; } ; \ fi ;\ -- cgit v1.2.1