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-d938411.tar.gz rockbox-d938411.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 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 |