diff --git a/dist/tools/ci/build_and_test.sh b/dist/tools/ci/build_and_test.sh index 68e5025e872e5a6ce24af6827f77f91e1e39454f..9399c99be6f2191145f1e32475e725bf17cd6d80 100755 --- a/dist/tools/ci/build_and_test.sh +++ b/dist/tools/ci/build_and_test.sh @@ -93,6 +93,7 @@ then run ./dist/tools/coccinelle/check.sh run ./dist/tools/flake8/check.sh run ./dist/tools/headerguards/check.sh + run ./dist/tools/buildsystem_sanity_check/check.sh exit $RESULT fi