Merge remote-tracking branch 'upstream/master'

[nominatim.git] / utils / warm.php

diff --git a/utils/warm.php b/utils/warm.php
index 0ac13c469d6918c936f97a219f0711fa11c2f453..653bcf100c2fc63a6a009324947d2b226055336d 100755 (executable)
--- a/utils/warm.php
+++ b/utils/warm.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php -Cq
+#!@PHP_BIN@ -Cq
 <?php
 
 require_once(dirname(dirname(__FILE__)).'/settings/settings.php');