changeset 380:76b75fd84c72

makefile helper target to quickly list toolchain versions of current platform
author Tassilo Philipp
date Tue, 29 Dec 2020 11:25:40 +0100
parents 7d9f526dc2ad
children fccbb45a2dae
files Makefile.generic
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.generic	Mon Dec 28 14:14:59 2020 +0100
+++ b/Makefile.generic	Tue Dec 29 11:25:40 2020 +0100
@@ -35,4 +35,8 @@
 	find . -type f -name "Makefile.generic" | sed s/\.generic$$// | xargs rm
 show-compiler-predefs:
 	${CC} ${CFLAGS} -dM -E - < /dev/null
+show-tool-versions:
+	${CC} -v
+	${LD} -v
+	${MAKE} -v 2>/dev/null || echo ${MAKE} ${MAKE_VERSION}