configure
changeset 10511 efb3428c9879
parent 10077 0261aede52ca
child 14981 e73f8140af78
--- a/configure	Wed Nov 22 21:38:26 2000 +0100
+++ b/configure	Wed Nov 22 21:41:39 2000 +0100
@@ -8,7 +8,7 @@
 
 ## patch scripts
 
-cd `dirname "$0"`
+cd "`dirname "$0"`"
 
 if bash -c :
 then