# 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