Calling 'awk' more then once is redundant. The output of 'make --version'
already has the data we are after, why not utilise it.

The proposed implementation uses 'sed' to utilise the data output
modifying the white space formatting only.


Tested on:
Gentoo Linux
Debian 6.0.10
Oracle Linux Server release 7.1
Arch Linux
openSuSE 13.2


Signed-off-by: Alexander Kapshuk <alexander.kapshuk@gmail.com>
---
--- linux/scripts/ver_linux.orig    2015-10-03 13:41:57.118790241 +0300
+++ linux/scripts/ver_linux    2015-10-03 13:49:39.548870365 +0300
@@ -14,8 +14,12 @@
 gcc -dumpversion 2>&1| awk \
 'NR==1{print "Gnu C                 ", $1}'

-make --version 2>&1 | awk -F, '{print $1}' | awk \
-      '/GNU Make/{print "Gnu make              ",$NF}'
+test -x "$make" &&
+$make --version 2>&1 |
+sed '
+    /^\(GNU Make\)[ \t]/!d
+    s//\1\t\t/
+'

 echo "binutils               $(ld -v | egrep -o '[0-9]+\.[0-9\.]+')"