1 files changed, 4 insertions, 2 deletions

diff --git a/scripts/ver_linux b/scripts/ver_linux
index a6c728db05ce..810e608baa24 100755
--- a/scripts/ver_linux
+++ b/scripts/ver_linux
@@ -13,6 +13,8 @@ BEGIN {
         system("uname -a")
         printf("\n")
 
+        vernum = "[0-9]+([.]?[0-9]+)+"
+
         printversion("GNU C", version("gcc -dumpversion"))
         printversion("GNU Make", version("make --version"))
         printversion("Binutils", version("ld -v"))
@@ -34,7 +36,7 @@ BEGIN {
         while (getline <"/proc/self/maps" > 0) {
                 if (/libc.*\.so$/) {
                         n = split($0, procmaps, "/")
-                        if (match(procmaps[n], /[0-9]+([.]?[0-9]+)+/)) {
+                        if (match(procmaps[n], vernum)) {
                                 ver = substr(procmaps[n], RSTART, RLENGTH)
                                 printversion("Linux C Library", ver)
                                 break
@@ -70,7 +72,7 @@ BEGIN {
 function version(cmd,    ver) {
         cmd = cmd " 2>&1"
         while (cmd | getline > 0) {
-                if (match($0, /[0-9]+([.]?[0-9]+)+/)) {
+                if (match($0, vernum)) {
                         ver = substr($0, RSTART, RLENGTH)
                         break
                 }