diff options
| -rw-r--r-- | ChangeLog | 3 | ||||
| -rw-r--r-- | scripts/lib-names.awk | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 6a2a88b010..e5dc1d5003 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 45f043a8a4..77e6668515 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); |