From a078a7eecdcfdbc73280f5ed71a660b7c7b0d392 Mon Sep 17 00:00:00 2001
From: Roland McGrath <roland@gnu.org>
Date: Thu, 10 Feb 2005 21:16:55 +0000
Subject: [PATCH] * scripts/lib-names.awk: Consider [0-9].* a "number", not
 just [0-9]+.

	Reported by H.J. Lu <hongjiu.lu@intel.com>.
---
 ChangeLog             | 3 +++
 scripts/lib-names.awk | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 6a2a88b..e5dc1d5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2005-02-10  Roland McGrath  <roland@redhat.com>
 
+	* scripts/lib-names.awk: Consider [0-9].* a "number", not just [0-9]+.
+	Reported by H.J. Lu <hongjiu.lu@intel.com>.
+
 	* scripts/lib-names.awk: Always print WORDSIZE32 section first when
 	doing two.
 
diff --git a/scripts/lib-names.awk b/scripts/lib-names.awk
index 45f043a..77e6668 100644
--- a/scripts/lib-names.awk
+++ b/scripts/lib-names.awk
@@ -6,7 +6,7 @@ $1 != "DEFAULT" { multi = 1 }
 {
   lib = $2;
   version = $3;
-  if ($3 ~ /[^0-9]/) {
+  if ($3 !~ /^[0-9]/) {
     soname = $3;
     extra = $3;
     sub(/\.so.*$/, "", extra);
-- 
2.7.4