# HG changeset patch
# User wenzelm
# Date 968686550 -7200
# Node ID 8de4ea6de3d03bf4ae3085a2e63a674fa2ade256
# Parent  67e9b723954815d316d895a50cd09922b7a65e39
added THIS;

diff -r 67e9b7239548 -r 8de4ea6de3d0 configure
--- 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