Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/install
changeset 15574 b1d1b5bfc464
parent 14981 e73f8140af78
child 15733 75b9219980d3 
--- a/lib/Tools/install	Fri Mar 04 11:44:26 2005 +0100
+++ b/lib/Tools/install	Fri Mar 04 15:07:34 2005 +0100
@@ -80,7 +80,7 @@
 # standalone binaries
 
 #set by configure
-AUTO_BASH=bash
+AUTO_BASH=/bin/bash
 
 case "$AUTO_BASH" in
   /*)
isabelle