diff options
Diffstat (limited to 'src/man/preproc.awk')
-rwxr-xr-x | src/man/preproc.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/man/preproc.awk b/src/man/preproc.awk index 20081b551..1471be3ec 100755 --- a/src/man/preproc.awk +++ b/src/man/preproc.awk | |||
@@ -23,7 +23,7 @@ | |||
23 | BEGIN { | 23 | BEGIN { |
24 | macros[0] = 0 | 24 | macros[0] = 0 |
25 | for (arg in ARGV) { | 25 | for (arg in ARGV) { |
26 | if (ARGV[arg] ~ /^-D[A-Z_]+$/) { | 26 | if (ARGV[arg] ~ /^-D[A-Z0-9_]+$/) { |
27 | macros[length(macros) + 1] = substr(ARGV[arg], 3) | 27 | macros[length(macros) + 1] = substr(ARGV[arg], 3) |
28 | } | 28 | } |
29 | ARGV[arg] = "" | 29 | ARGV[arg] = "" |
@@ -31,7 +31,7 @@ BEGIN { | |||
31 | 31 | ||
32 | include = 1 | 32 | include = 1 |
33 | } | 33 | } |
34 | /^#ifdef [A-Z_]+$/ { | 34 | /^#ifdef [A-Z0-9_]+$/ { |
35 | macro = substr($0, 8) | 35 | macro = substr($0, 8) |
36 | for (i in macros) { | 36 | for (i in macros) { |
37 | if (macros[i] == macro) { | 37 | if (macros[i] == macro) { |