diff options
author | Florian Pritz <bluewind@xinu.at> | 2016-09-19 21:15:33 +0200 |
---|---|---|
committer | Florian Pritz <bluewind@xinu.at> | 2016-09-19 21:41:31 +0200 |
commit | 456439b34817b366b06c32d142a934b90b6c7aec (patch) | |
tree | 8cf153625c3da250afc3dbe7d2ff934895bea82e | |
parent | 7a9f19d4bc1a08c7d9397a0a4bc1e342c8323466 (diff) |
check_deps.php: Exit 1 on error
Signed-off-by: Florian Pritz <bluewind@xinu.at>
-rwxr-xr-x | check_deps.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/check_deps.php b/check_deps.php index a76085298..dd1e30c61 100755 --- a/check_deps.php +++ b/check_deps.php @@ -81,6 +81,7 @@ foreach ($mod_groups as $function => $mods) { if ($errors != "") { echo "Errors occured:\n"; echo $errors; + exit(1); } else { echo "Dependency checks completed sucessfully.\n"; } |