From 350ae5bb012a4e2a4095549b8c57b4f393d46163 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Fri, 24 May 2019 14:27:12 +0200
Subject: [PATCH 1/4] Makefile: add print-versions target

This target is an helper for print the toolchain versions script
---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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

From 747ebb81c62a7a57fc8f8ab37563a598195a78c0 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Fri, 24 May 2019 14:27:52 +0200
Subject: [PATCH 2/4] CONTRIBUTING: update print toolchain versions command

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

From 2b7b662973f2428cad735e576893ec95f6beedb0 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Fri, 24 May 2019 14:37:09 +0200
Subject: [PATCH 3/4] ISSUE_TEMPLATE: update Versions section

---
 .github/ISSUE_TEMPLATE/bug_report.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
 <!--
 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! -->

From 3d6434125e61b936b62dc106f2161ade7cc1fdd9 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Fri, 24 May 2019 14:38:48 +0200
Subject: [PATCH 4/4] dist/tools/ci: update print version script in
 build_and_test.sh

---
 dist/tools/ci/build_and_test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}