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