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