configure
changeset 10077 0261aede52ca
parent 9915 8de4ea6de3d0
child 10511 efb3428c9879
     1.1 --- a/configure	Tue Sep 26 16:42:24 2000 +0200
     1.2 +++ b/configure	Tue Sep 26 17:01:31 2000 +0200
     1.3 @@ -8,11 +8,11 @@
     1.4  
     1.5  ## patch scripts
     1.6  
     1.7 -THIS=`dirname "$0"`
     1.8 +cd `dirname "$0"`
     1.9  
    1.10  if bash -c :
    1.11  then
    1.12 -  bash "$THIS/lib/scripts/patch-scripts.bash"
    1.13 +  bash lib/scripts/patch-scripts.bash
    1.14  else
    1.15    echo "FATAL ERROR: bash not found!"
    1.16    exit 2