diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md index f6bdf519e9..da3bb36c7c 100644 --- a/.github/ISSUE_TEMPLATE/bug_report.md +++ b/.github/ISSUE_TEMPLATE/bug_report.md @@ -41,7 +41,7 @@ Please paste or specifically describe the actual output. diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 580ec6d9fc..bd1da3f406 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -68,7 +68,7 @@ other contributors understand your issue and eventually reproduce it: To fill the `Versions` section, you can use the script provided in the RIOT git repository: ``` -./dist/tools/ci/print_toolchain_versions.sh +make print-versions ``` In summary, try to include as much information as possible, to help maintainers diff --git a/Makefile b/Makefile index f92f1c16bc..cd6eddd1c3 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ .all: -.PHONY: all doc doc-man doc-latex docclean welcome +.PHONY: all doc doc-man doc-latex docclean print-versions welcome all: welcome @echo "" @@ -37,6 +37,9 @@ welcome: @echo "Or ask questions on our mailing list:" @echo " users@riot-os.org (http://lists.riot-os.org/mailman/listinfo/users)" +print-versions: + @./dist/tools/ci/print_toolchain_versions.sh + include makefiles/app_dirs.inc.mk -include makefiles/tests.inc.mk diff --git a/dist/tools/ci/build_and_test.sh b/dist/tools/ci/build_and_test.sh index 9399c99be6..2ab69865c1 100755 --- a/dist/tools/ci/build_and_test.sh +++ b/dist/tools/ci/build_and_test.sh @@ -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}