Merge pull request #11574 from aabadie/pr/make_print_versions

make: add print-versions helper target

.github/ISSUE_TEMPLATE/bug_report.md

@@ -41,7 +41,7 @@ Please paste or specifically describe the actual output.
 <!--
 Operating system: Mac OSX, Linux, Vagrant VM
 Build environment: GCC, CLang versions (you can run the following command from
-the RIOT base directory: ./dist/tools/ci/print_toolchain_versions.sh).
+the RIOT base directory: make print-versions).
 -->
 
 <!-- Thanks for contributing! -->

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

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

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}