]> git.openstreetmap.org Git - nominatim.git/blob - settings/settings.php
Merge pull request #1247 from mtmail/exit-with-error-code
[nominatim.git] / settings / settings.php
1 <?php
2
3 echo "ERROR: Scripts must be run from build directory.\n";
4 exit(1);