summaryrefslogtreecommitdiff
path: root/scripts/lib-names.awk
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>2005-02-10 21:16:55 +0000
committerRoland McGrath <roland@gnu.org>2005-02-10 21:16:55 +0000
commita078a7eecdcfdbc73280f5ed71a660b7c7b0d392 (patch)
tree3eaaa91652e159f8ed97fb351615b9a705e7b7eb /scripts/lib-names.awk
parent0a38b835212cc8268fe547d3a8032dcc6b65f6c8 (diff)
* scripts/lib-names.awk: Consider [0-9].* a "number", not just [0-9]+.
Reported by H.J. Lu <hongjiu.lu@intel.com>.
Diffstat (limited to 'scripts/lib-names.awk')
-rw-r--r--scripts/lib-names.awk2
1 files changed, 1 insertions, 1 deletions
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);