diff --git a/tools/make.py b/tools/make.py index ab2d33d514..92ab4f02e6 100644 --- a/tools/make.py +++ b/tools/make.py @@ -1424,6 +1424,7 @@ See the make.cfg file for additional build options. for failedModuleName in namesOfBuildsFailed: print("- {} failed.".format(failedModuleName)) + sys.exit(1) else: print_green("\Completed with 0 errors.")