From b8d447a39bff40aef43638ab2dce44ff77d5fc70 Mon Sep 17 00:00:00 2001 From: Erik Troan Date: Wed, 29 Dec 1999 16:47:13 +0000 Subject: make check shouldn't try to pipe ELF executables thorugh bash! --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ea7a7bdf..d1a44665 100644 --- a/Makefile +++ b/Makefile @@ -41,7 +41,9 @@ install: check: for afile in `find . -type f -perm +111|grep -v \.csh ` ; do \ - bash -n $$afile || { echo $$afile ; exit 1 } ; \ + if ! file $$afile | grep -s ELF >/dev/null; then \ + bash -n $$afile || { echo $$afile ; exit 1 } ; \ + fi ;\ done changelog: -- cgit v1.2.1