1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

make buildtest fail on error

This commit is contained in:
Ludwig Ortmann 2014-02-05 08:56:15 +01:00
parent 351dea1dbd
commit 9ab441e091

View File

@ -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