vagrant centos: make sure /home/vagrant/Nominatim directory doesnt get created

[nominatim.git] / lib / cmd.php

diff --git a/lib/cmd.php b/lib/cmd.php
index 898fbe95f77cc3e8ddf0ec8cd8c5d59eb6346336..a1084938e5ecef9709a800cfa65ef69ba450f337 100644 (file)
--- a/lib/cmd.php
+++ b/lib/cmd.php
@@ -99,7 +99,7 @@ function showUsage($aSpec, $bExit = false, $sError = false)
         echo 'Try `'.basename($_SERVER['argv'][0]).' --help` for more information.'."\n";
         exit;
     }
-    echo "Usage: ".basename($_SERVER['argv'][0])."\n";
+    echo 'Usage: '.basename($_SERVER['argv'][0])."\n";
     $bFirst = true;
     foreach ($aSpec as $aLine) {
         if (is_array($aLine)) {