* scripts/lib-names.awk: Consider [0-9].* a "number", not just [0-9]+.

Reported by H.J. Lu <hongjiu.lu@intel.com>.
git-mirror · Feb 10, 2005 · a078a7e · a078a7e
1 parent 0a38b83
commit a078a7e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git 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
@@ -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);