From 8ec70632068195cca3341552c4810555737d1a95 Mon Sep 17 00:00:00 2001
From: bux578 <github@jonathandavid.de>
Date: Tue, 16 Feb 2016 13:44:43 +0100
Subject: [PATCH] add proper exit code when build is failing

---
 tools/make.py | 1 +
 1 file changed, 1 insertion(+)

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.")