From d938411a945174122a4a38d0f3b403155f27555d Mon Sep 17 00:00:00 2001
From: Frank Gevaerts <frank@gevaerts.be>
Date: Sun, 21 Aug 2016 17:19:26 +0200
Subject: Print make version in configure output.

This should make it easier to figure out random build issues.

Change-Id: Ic037ecc94a3c8386043349db1573c3587d7e1fda
---
 tools/configure | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tools')

diff --git a/tools/configure b/tools/configure
index 4910dcb000..a9fe058cbd 100755
--- a/tools/configure
+++ b/tools/configure
@@ -4220,6 +4220,9 @@ fi
 
 echo "Using $LD $ldver"
 
+makever=`make --version | head -1`
+echo "Detected make $makever"
+
 # check the compiler for SH platforms
 if test "$CC" = "sh-elf-gcc"; then
   if test "$gccnum" -lt "400"; then
-- 
cgit v1.2.3