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

CI: murdock: misc fixes

Browse Source
This commit is contained in:
Kaspar Schleiser 2017-02-05 23:14:31 +01:00
parent cd45a145de
commit 4f87821b4e
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.murdock
View File

@ -58,10 +58,12 @@ get_compile_jobs() {
}
check_workdir() {
[ -d examples/gnrc_tcp_cli -a -d tests/pkg_libcoap ] || {
[ -d tests/pkg_libcoap ] || {
echo "workdir check failed! pwd=$(pwd)"
echo "--- ls:"
echo "-- ls:"
ls -la
echo "-- ls tests:"
ls -la tests
exit 1
}
}
@ -72,7 +74,7 @@ compile() {
local board=$2
[ -n "$DWQ_WORKER" ] && \
echo "$0: compile: running on worker $DWQ_WORKER, build number $DWQ_WORKER_BUILDNUM."
echo "-- running on worker ${DWQ_WORKER} thread ${DWQ_WORKER_THREAD}, build number $DWQ_WORKER_BUILDNUM."
check_workdir