changeset 10077 | 0261aede52ca |
parent 9915 | 8de4ea6de3d0 |
child 10511 | efb3428c9879 |
--- a/configure Tue Sep 26 16:42:24 2000 +0200 +++ b/configure Tue Sep 26 17:01:31 2000 +0200 @@ -8,11 +8,11 @@ ## patch scripts -THIS=`dirname "$0"` +cd `dirname "$0"` if bash -c : then - bash "$THIS/lib/scripts/patch-scripts.bash" + bash lib/scripts/patch-scripts.bash else echo "FATAL ERROR: bash not found!" exit 2