configure
changeset 10077 0261aede52ca
parent 9915 8de4ea6de3d0
child 10511 efb3428c9879
--- a/configure	Tue Sep 26 16:42:24 2000 +0200
+++ b/configure	Tue Sep 26 17:01:31 2000 +0200
@@ -8,11 +8,11 @@
 
 ## patch scripts
 
-THIS=`dirname "$0"`
+cd `dirname "$0"`
 
 if bash -c :
 then
-  bash "$THIS/lib/scripts/patch-scripts.bash"
+  bash lib/scripts/patch-scripts.bash
 else
   echo "FATAL ERROR: bash not found!"
   exit 2