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 (file)
index 907a9fa..0000000
--- a/settings/settings.php
+++ /dev/null
@@ -1,4 +0,0 @@
-<?php
-
-echo "ERROR: Scripts must be run from build directory.\n";
-exit(1);