diff --git a/Makefile.include b/Makefile.include index c97ae544e91b396af89f36764c7b7934227ab0e1..463548ed49e8cafe4759c3b95adfd5c0872b3f10 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