--- a/configure Fri Dec 11 18:57:00 1998 +0100 +++ b/configure Thu Dec 17 17:41:32 1998 +0100 @@ -6,7 +6,7 @@ ## patch scripts -if bash -c "" +if bash -c : then bash lib/scripts/patch-scripts.bash else