1 files changed, 3 insertions, 1 deletions
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: