From 9ab441e091008e986862d7a110d5ba68ef50209e Mon Sep 17 00:00:00 2001
From: Ludwig Ortmann <ludwig.ortmann@fu-berlin.de>
Date: Wed, 5 Feb 2014 08:56:15 +0100
Subject: [PATCH] make buildtest fail on error
---
Makefile.include | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/Makefile.include b/Makefile.include
index c97ae544e9..463548ed49 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -133,5 +133,9 @@ buildtest:
$${ECHO} "$${GREEN}success$${RESET}"; \
else \
$${ECHO} "$${RED}failed$${RESET}"; \
+ BUILDTESTFAILED=1; \
fi; \
done; \
+ if [ "$${BUILDTESTFAILED}" = "1" ]; then \
+ exit 1; \
+ fi
--
GitLab