diff options
-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 |