From 350ae5bb012a4e2a4095549b8c57b4f393d46163 Mon Sep 17 00:00:00 2001 From: Alexandre Abadie Date: Fri, 24 May 2019 14:27:12 +0200 Subject: [PATCH] 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