settings.php: when printing error, also exit with error code

2018-11-26 14:28:09 +01:00
parent f0088ca2be
commit c9a553fdb4
1 changed files with 1 additions and 1 deletions
--- a/settings/settings.php
+++ b/settings/settings.php
@@ -1,4 +1,4 @@
 <?php

 echo "ERROR: Scripts must be run from build directory.\n";
-exit;
+exit(1);