diff options
author | Frank Gevaerts <frank@gevaerts.be> | 2016-08-21 17:19:26 +0200 |
---|---|---|
committer | Frank Gevaerts <frank@gevaerts.be> | 2016-08-21 17:19:26 +0200 |
commit | d938411a945174122a4a38d0f3b403155f27555d (patch) | |
tree | 929c5249a9f62d75cc070660288d6d1d1f7ffe81 | |
parent | 45c6785e22f589b6bbc930b20859dc7df102d705 (diff) | |
download | rockbox-d938411a945174122a4a38d0f3b403155f27555d.tar.gz rockbox-d938411a945174122a4a38d0f3b403155f27555d.zip |
Print make version in configure output.
This should make it easier to figure out random build issues.
Change-Id: Ic037ecc94a3c8386043349db1573c3587d7e1fda
-rwxr-xr-x | tools/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 4910dcb000..a9fe058cbd 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -4220,6 +4220,9 @@ fi | |||
4220 | 4220 | ||
4221 | echo "Using $LD $ldver" | 4221 | echo "Using $LD $ldver" |
4222 | 4222 | ||
4223 | makever=`make --version | head -1` | ||
4224 | echo "Detected make $makever" | ||
4225 | |||
4223 | # check the compiler for SH platforms | 4226 | # check the compiler for SH platforms |
4224 | if test "$CC" = "sh-elf-gcc"; then | 4227 | if test "$CC" = "sh-elf-gcc"; then |
4225 | if test "$gccnum" -lt "400"; then | 4228 | if test "$gccnum" -lt "400"; then |