configure
changeset 9915 8de4ea6de3d0
parent 9818 71de955e8fc9
child 10077 0261aede52ca
--- a/configure	Mon Sep 11 17:35:17 2000 +0200
+++ b/configure	Mon Sep 11 17:35:50 2000 +0200
@@ -8,9 +8,11 @@
 
 ## patch scripts
 
+THIS=`dirname "$0"`
+
 if bash -c :
 then
-  bash lib/scripts/patch-scripts.bash
+  bash "$THIS/lib/scripts/patch-scripts.bash"
 else
   echo "FATAL ERROR: bash not found!"
   exit 2