1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00

dist/tools/ci: update print version script in build_and_test.sh

This commit is contained in:
Alexandre Abadie 2019-05-24 14:38:48 +02:00
parent 2b7b662973
commit 3d6434125e
No known key found for this signature in database
GPG Key ID: 1C919A403CAE1405

View File

@ -80,7 +80,7 @@ then
exit $RESULT
fi
run ./dist/tools/ci/print_toolchain_versions.sh
run make print-versions
run ./dist/tools/commit-msg/check.sh ${CI_BASE_BRANCH}
run ./dist/tools/whitespacecheck/check.sh ${CI_BASE_BRANCH}