diff options
-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"; } |