diff options
| author | Roland McGrath <roland@gnu.org> | 2005-02-10 21:16:55 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 2005-02-10 21:16:55 +0000 |
| commit | a078a7eecdcfdbc73280f5ed71a660b7c7b0d392 (patch) | |
| tree | 3eaaa91652e159f8ed97fb351615b9a705e7b7eb /scripts/lib-names.awk | |
| parent | 0a38b835212cc8268fe547d3a8032dcc6b65f6c8 (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.awk | 2 |
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); |