Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
refrain from forcing a hardwired SHELL value, cf. 1494ded298a6 but it becomes obsolete again in 549969a7f582 and follow-ups;
authorwenzelm
Fri, 21 May 2010 17:26:42 +0200
changeset 37042 55efdc260182
parent 37041 dae419819a80
child 37043 f8e24980af05
refrain from forcing a hardwired SHELL value, cf. 1494ded298a6 but it becomes obsolete again in 549969a7f582 and follow-ups;
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Pure/IsaMakefile	Fri May 21 16:49:33 2010 +0200
+++ b/src/Pure/IsaMakefile	Fri May 21 17:26:42 2010 +0200
@@ -12,8 +12,6 @@
 
 ## global settings
 
-SHELL = /bin/bash
-
 SRC = $(ISABELLE_HOME)/src
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
isabelle