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: add test that features_existing.inc.mk is up to date

Browse Source
This commit is contained in:
Marian Buschsieweke 2024-02-12 12:32:04 +01:00
parent dc040a0fdb
commit aa356d8b7b
No known key found for this signature in database
GPG Key ID: 77AA882EC78084E6
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
dist/tools/ci/check_features_existing_inc_mk_is_up_to_date.sh vendored Executable file
View File

@ -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

1
dist/tools/ci/static_tests.sh vendored
View File

@ -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