From aac58d6a2a196ac20da147034ac89546c1c236fe Mon Sep 17 00:00:00 2001
From: gmelquio
Date: Mon, 28 Sep 2009 09:13:03 +0000
Subject: Applied patches from BSD/pkgsrc maintainer, so that Coq compiles
 out-of-the-box. - Removed unneeded bashisms. (sh and dash are fine with the
 current build system.) - Removed workaround for camlp4.opt on BSD.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12362 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 858ee8e6d3..d71ad208b4 100644
--- a/Makefile
+++ b/Makefile
@@ -66,8 +66,6 @@
 # but doesn't care if this build fails. This can be quite surprising,
 # see in particular the -include in Makefile.stage*
 
-export SHELL:=/bin/bash
-
 # !! Before using FIND_VCS_CLAUSE, please read how you should in the !!
 # !! FIND_VCS_CLAUSE section of dev/doc/build-system.dev.txt         !!
 export FIND_VCS_CLAUSE:='(' \
-- 
cgit v1.2.3