diff --git a/.murdock b/.murdock index 3aa07938d3..171b742160 100755 --- a/.murdock +++ b/.murdock @@ -52,11 +52,22 @@ get_compile_jobs() { | xargs '-d\n' -n 1 echo $0 compile } +check_workdir() { + [ -d examples/gnrc_tcp_cli -a -d tests/pkg_libcoap ] || { + echo "workdir check failed! pwd=$(pwd)" + echo "--- ls:" + ls -la + exit 1 + } +} + # compile one app for one board. delete intermediates. compile() { local appdir=$1 local board=$2 + check_workdir + CCACHE_BASEDIR="$(pwd)" BOARD=$board RIOT_CI_BUILD=1 \ make -C${appdir} clean all -j${JOBS:-4} RES=$? @@ -70,6 +81,8 @@ compile() { BOARD=$board make --no-print-directory -C${appdir} clean clean-intermediates + check_workdir + return $RES }