diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/versions.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/versions.awk b/scripts/versions.awk index d6571fd039..f90248201b 100644 --- a/scripts/versions.awk +++ b/scripts/versions.awk @@ -12,7 +12,7 @@ BEGIN { nlibs=0; while (getline < defsfile) { - if (/^[a-zA-Z_]+ {/) { + if (/^[a-zA-Z0-9_]+ {/) { libs[$1] = 1; curlib = $1; while (getline < defsfile && ! /^}/) { @@ -38,7 +38,7 @@ BEGIN { } # This matches the beginning of the version information for a new library. -/^[a-zA-Z_]+/ { +/^[a-zA-Z0-9_]+/ { actlib = $1; if (!libs[$1]) { printf("no versions defined for %s\n", $1) > "/dev/stderr"; |