mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
murdock: implement extra check for broken makefile
This commit is contained in:
parent
87a81d224a
commit
864110dec4
7
.murdock
7
.murdock
@ -144,7 +144,12 @@ compile() {
|
|||||||
local board=$(echo $2 | cut -f 1 -d':')
|
local board=$(echo $2 | cut -f 1 -d':')
|
||||||
local toolchain=$(echo $2 | cut -f 2 -d':')
|
local toolchain=$(echo $2 | cut -f 2 -d':')
|
||||||
|
|
||||||
[ "$board" = "makefile_broken" ] && error "$0: Makefile in \"$appdir\" seems to be broken!"
|
[ "$board" = "makefile_broken" ] && {
|
||||||
|
echo "$0: There seems to be a problem in \"$appdir\" while getting supported boards!"
|
||||||
|
echo "$0: testing \"make -C$appdir info-boards-supported\"..."
|
||||||
|
make -C$appdir info-boards-supported && echo "$0: success. no idea what's wrong." || echo "$0: failed!"
|
||||||
|
exit 1
|
||||||
|
}
|
||||||
|
|
||||||
# set build directory. CI ensures only one build at a time in $(pwd).
|
# set build directory. CI ensures only one build at a time in $(pwd).
|
||||||
export BINDIR="$(pwd)/build"
|
export BINDIR="$(pwd)/build"
|
||||||
|
Loading…
Reference in New Issue
Block a user