mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
murdock: fail on broken application makefile
This commit is contained in:
parent
79b34a722a
commit
a59ab07749
11
.murdock
11
.murdock
@ -34,7 +34,14 @@ get_apps() {
|
|||||||
# Only print for boards in $BOARDS.
|
# Only print for boards in $BOARDS.
|
||||||
get_supported_boards() {
|
get_supported_boards() {
|
||||||
local appdir=$1
|
local appdir=$1
|
||||||
for board in $(make --no-print-directory -C$appdir info-boards-supported 2>/dev/null )
|
local boards="$(make --no-print-directory -C$appdir info-boards-supported 2>/dev/null || echo broken)"
|
||||||
|
|
||||||
|
if [ "$boards" = broken ]; then
|
||||||
|
echo "makefile_broken"
|
||||||
|
return
|
||||||
|
fi
|
||||||
|
|
||||||
|
for board in $boards
|
||||||
do
|
do
|
||||||
echo $board
|
echo $board
|
||||||
done | $(_greplist $BOARDS)
|
done | $(_greplist $BOARDS)
|
||||||
@ -63,6 +70,8 @@ compile() {
|
|||||||
local appdir=$1
|
local appdir=$1
|
||||||
local board=$2
|
local board=$2
|
||||||
|
|
||||||
|
[ "$board" = "makefile_broken" ] && error "$0: Makefile in \"$appdir\" seems to be broken!"
|
||||||
|
|
||||||
# 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).
|
||||||
rm -rf build
|
rm -rf build
|
||||||
export BINDIR="$(pwd)/build"
|
export BINDIR="$(pwd)/build"
|
||||||
|
Loading…
Reference in New Issue
Block a user