author | wenzelm |
Mon, 11 Sep 2000 17:35:50 +0200 | |
changeset 9915 | 8de4ea6de3d0 |
parent 9914 | 67e9b7239548 |
child 9916 | 4a703366494b |
--- 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