lib/Tools/install
changeset 15574 b1d1b5bfc464
parent 14981 e73f8140af78
child 15733 75b9219980d3
     1.1 --- a/lib/Tools/install	Fri Mar 04 11:44:26 2005 +0100
     1.2 +++ b/lib/Tools/install	Fri Mar 04 15:07:34 2005 +0100
     1.3 @@ -80,7 +80,7 @@
     1.4  # standalone binaries
     1.5  
     1.6  #set by configure
     1.7 -AUTO_BASH=bash
     1.8 +AUTO_BASH=/bin/bash
     1.9  
    1.10  case "$AUTO_BASH" in
    1.11    /*)