From: Sarah Hoffmann <lonvia@denofr.de>
Date: Sun, 2 Dec 2018 10:16:41 +0000 (+0100)
Subject: Remove settings/settings.php
X-Git-Tag: v3.3.0~51^2~2
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/11c91e3b8d5921dba478ac0b2191d3c1aba67b73

Remove settings/settings.php

This was only a stub to warn when something was
executed directly from utils/ in the source directory.
This is no longer possible.
---

diff --git a/settings/settings.php b/settings/settings.php
deleted file mode 100644
index 907a9fa0..00000000
--- a/settings/settings.php
+++ /dev/null
@@ -1,4 +0,0 @@
-<?php
-
-echo "ERROR: Scripts must be run from build directory.\n";
-exit(1);