From 43271266a4b7ffc1f6849910541b85078b68d825 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 May 2000 08:15:35 +0000
Subject: Be more generous if bash is not found.

---
 Makefile | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index e2c673cb..5a517e6e 100644
--- a/Makefile
+++ b/Makefile
@@ -53,15 +53,14 @@ all:	$(ELC)
 .el.elc:
 	$(BYTECOMP) $*.el
 
+## scripts: try to patch bash scripts with path to bash 
+## 
 ##
-##
-##
-
 scripts:
 	@(bash="`which bash`"; \
 	 if [ -z "$$bash" ]; then \
-	   echo "could not find bash!" >&2; \
-	   exit 1; \
+	   echo "Could not find bash - bash path not checked" >&2; \
+	   exit 0; \
 	 fi; \
 	 for i in $(BASH_SCRIPTS); do \
 	   sed "s|^#.*!.*/bin/bash.*$$|#!$$bash|" < $$i > .tmp \
-- 
cgit v1.2.3