diff --git a/dist/tools/ci/check_features_existing_inc_mk_is_up_to_date.sh b/dist/tools/ci/check_features_existing_inc_mk_is_up_to_date.sh new file mode 100755 index 0000000000..e27e38e98d --- /dev/null +++ b/dist/tools/ci/check_features_existing_inc_mk_is_up_to_date.sh @@ -0,0 +1,11 @@ +#!/bin/sh +# This tools checks if the makefiles/features_existing.inc.mk is up to date +hash_feature_list_pre="$(sha256sum "$(dirname "$0")/../../../makefiles/features_existing.inc.mk")" +make --silent -C "$(dirname "$0")"/../../.. generate-features || exit 1 +hash_feature_list_post="$(sha256sum "$(dirname "$0")/../../../makefiles/features_existing.inc.mk")" +if [ "$hash_feature_list_pre" != "$hash_feature_list_post" ]; then + echo "Forgot to run make generate-features after updating features.yaml!" + exit 1 +fi + +exit 0 diff --git a/dist/tools/ci/static_tests.sh b/dist/tools/ci/static_tests.sh index 39235af9d7..fd78944ffa 100755 --- a/dist/tools/ci/static_tests.sh +++ b/dist/tools/ci/static_tests.sh @@ -114,6 +114,7 @@ export BASE_BRANCH="${CI_BASE_BRANCH}" run ./dist/tools/whitespacecheck/check.sh "${BASE_BRANCH}" DIFFFILTER="MR" ERROR_EXIT_CODE=0 run ./dist/tools/licenses/check.sh DIFFFILTER="AC" run ./dist/tools/licenses/check.sh +run ./dist/tools/ci/check_features_existing_inc_mk_is_up_to_date.sh run ./dist/tools/doccheck/check.sh run ./dist/tools/externc/check.sh # broken configuration produces many false positives