mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
Merge pull request #883 from LudwigOrtmann/issue_835_b
make/buildtest: print errors (alternative to #836)
This commit is contained in:
commit
e117b5daf4
@ -167,18 +167,19 @@ buildtest:
|
|||||||
\
|
\
|
||||||
for BOARD in $${BOARDS}; do \
|
for BOARD in $${BOARDS}; do \
|
||||||
$${ECHO} -n "Building for $${BOARD} .. "; \
|
$${ECHO} -n "Building for $${BOARD} .. "; \
|
||||||
env -i \
|
LOG=$$(env -i \
|
||||||
HOME=$${HOME} \
|
HOME=$${HOME} \
|
||||||
PATH=$${PATH} \
|
PATH=$${PATH} \
|
||||||
BOARD=$${BOARD} \
|
BOARD=$${BOARD} \
|
||||||
RIOTBASE=$${RIOTBASE} \
|
RIOTBASE=$${RIOTBASE} \
|
||||||
RIOTBOARD=$${RIOTBOARD} \
|
RIOTBOARD=$${RIOTBOARD} \
|
||||||
RIOTCPU=$${RIOTCPU} \
|
RIOTCPU=$${RIOTCPU} \
|
||||||
$(MAKE) -B clean all >/dev/null 2>&1 ; \
|
$(MAKE) -B clean all 2>&1 >/dev/null) ; \
|
||||||
if [ "$${?}" = "0" ]; then \
|
if [ "$${?}" = "0" ]; then \
|
||||||
$${ECHO} "$${GREEN}success$${RESET}"; \
|
$${ECHO} "$${GREEN}success$${RESET}"; \
|
||||||
else \
|
else \
|
||||||
$${ECHO} "$${RED}failed$${RESET}"; \
|
$${ECHO} "$${RED}failed$${RESET}"; \
|
||||||
|
echo "$${LOG}" | grep -v -E '^make(\[[[:digit:]]])?:'; \
|
||||||
BUILDTESTFAILED=1; \
|
BUILDTESTFAILED=1; \
|
||||||
fi; \
|
fi; \
|
||||||
done; \
|
done; \
|
||||||
|
Loading…
Reference in New Issue
Block a user