diff --git a/dist/tools/travis-scripts/build_and_test.sh b/dist/tools/travis-scripts/build_and_test.sh index 53fead1518..20346b4d36 100755 --- a/dist/tools/travis-scripts/build_and_test.sh +++ b/dist/tools/travis-scripts/build_and_test.sh @@ -27,7 +27,6 @@ then then RESULT=0 - make -s -C ./examples/default info-concurrency git rebase riot/master || git rebase --abort RESULT=$(set_result $? $RESULT)