1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-31 01:11:21 +01:00

Merge pull request #5329 from kaspar030/add_makefile_for_host_tools

make: add makefile for host tools
This commit is contained in:
Oleg Hahm 2016-05-31 21:25:47 +02:00
commit 6deac1d64e
2 changed files with 13 additions and 0 deletions

8
dist/tools/Makefile vendored Normal file
View File

@ -0,0 +1,8 @@
HOST_TOOLS=ethos uhcpd
.PHONY: all $(HOST_TOOLS)
all: $(HOST_TOOLS)
$(HOST_TOOLS):
make -C $@

View File

@ -69,6 +69,11 @@ then
exit $RESULT
fi
if [ "$BUILDTEST_MCU_GROUP" == "host" ]; then
make -C dist/tools
exit $?
fi
if [ "$BUILDTEST_MCU_GROUP" == "x86" ]
then
make -C ./tests/unittests all-debug test BOARD=native TERMPROG='gdb -batch -ex r -ex bt $(ELF)' || exit