From 97f485a093737052cf82ad0440be9a3498bff742 Mon Sep 17 00:00:00 2001 From: Bill Nottingham Date: Tue, 30 Sep 2008 14:51:23 -0400 Subject: Ignore stuff in .git for 'make check' Not just because it's not what we're checking, but also because it fails the check. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ;\ -- cgit v1.2.1