summaryrefslogtreecommitdiff
path: root/lang/coq/patches/patch-aa
blob: 026e33168dd87e1ef3d32b4b305766d3352c0403 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
$NetBSD: patch-aa,v 1.8 2009/09/05 20:44:58 tonio Exp $

--- Makefile.orig	2009-04-08 17:38:39.000000000 +0200
+++ Makefile
@@ -24,8 +24,6 @@
 # by Emacs' next-error.
 ###########################################################################
 
-export SHELL:=/bin/bash
-
 export FIND_VCS_CLAUSE:='(' \
   -name '{arch}' -o \
   -name '.svn' -o \