push the right version of update.php

[nominatim.git] / utils / country_languages.php

diff --git a/utils/country_languages.php b/utils/country_languages.php
index 19ad25b82570833816540f7b257614f201482267..b1a7ab1185336419f3659de49afeaf7a318cf3ae 100755 (executable)
--- a/utils/country_languages.php
+++ b/utils/country_languages.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php -Cq
+#!@PHP_BIN@ -Cq

 <?php
 
 require_once(dirname(dirname(__FILE__)).'/settings/settings.php');
 <?php
 
 require_once(dirname(dirname(__FILE__)).'/settings/settings.php');