]> git.openstreetmap.org Git - nominatim.git/blobdiff - utils/server_compare.php
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / utils / server_compare.php
index 39016d072a17522b741bbb84bffb2c51fc048d37..0a27c484914fddb169b11dfe47184848d754bbc9 100755 (executable)
@@ -1,4 +1,4 @@
-#!/usr/bin/php -Cq
+#!@PHP_BIN@ -Cq
 <?php
 
 $sFile = 'sample.log.txt'; // Apache log file