diff options
author | 2020-12-01 18:48:30 +0100 | |
---|---|---|
committer | 2020-12-01 18:48:30 +0100 | |
commit | 05debfdca60cfc5337c599ef5f0c8ec95f187b07 (patch) | |
tree | c3299741ce21142645742ecfea0f7fe7602e2b64 /src/man/preproc.awk | |
parent | a more portable implementation for time measurements (diff) | |
download | firejail-05debfdca60cfc5337c599ef5f0c8ec95f187b07.tar.gz firejail-05debfdca60cfc5337c599ef5f0c8ec95f187b07.tar.zst firejail-05debfdca60cfc5337c599ef5f0c8ec95f187b07.zip |
fix #3782 -- Man pages have #ifdefs in them
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) { |