From: ThomasBarris <thomas.barris@googlemail.com>
Date: Thu, 23 Aug 2018 08:02:34 +0000 (+0200)
Subject: push the right version of update.php
X-Git-Tag: v3.2.0~9^2~1
X-Git-Url: https://git.openstreetmap.org/nominatim.git/commitdiff_plain/a825414558ecfa179d03c52effddbc4f61713722

push the right version of update.php
---

diff --git a/utils/update.php b/utils/update.php
index b207fd6c..414fadb5 100755
--- a/utils/update.php
+++ b/utils/update.php
@@ -99,9 +99,9 @@ if ($aResult['init-updates']) {
         fail('pyosmium-get-changes not found or not usable');
     }
     if (!$aResult['no-update-functions']) {
-        $sSetup = CONST_InstallPath.'/utils/setup.php';
+        $sSetup ='@PHP_BIN@ '. CONST_InstallPath.'/utils/setup.php';
         $iRet = -1;
-        passthru(@PHP_BIN@.' --create-functions --enable-diff-updates', $iRet);
+        passthru($sSetup.' --create-functions --enable-diff-updates', $iRet);
         if ($iRet != 0) {
             fail('Error running setup script');
         }