diff options
Diffstat (limited to 'src/man/preproc.awk')
-rwxr-xr-x | src/man/preproc.awk | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/man/preproc.awk b/src/man/preproc.awk index d5cee8c44..20081b551 100755 --- a/src/man/preproc.awk +++ b/src/man/preproc.awk | |||
@@ -20,20 +20,11 @@ | |||
20 | # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE | 20 | # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE |
21 | # SOFTWARE. | 21 | # SOFTWARE. |
22 | 22 | ||
23 | function errexit(msg) { | ||
24 | print msg > "/dev/stderr" | ||
25 | exit 1 | ||
26 | } | ||
27 | |||
28 | BEGIN { | 23 | BEGIN { |
29 | macros[0] = 0 | 24 | macros[0] = 0 |
30 | for (arg in ARGV) { | 25 | for (arg in ARGV) { |
31 | if (ARGV[arg] ~ /^-D[A-Z_]+$/) { | 26 | if (ARGV[arg] ~ /^-D[A-Z_]+$/) { |
32 | macros[length(macros) + 1] = substr(ARGV[arg], 3) | 27 | macros[length(macros) + 1] = substr(ARGV[arg], 3) |
33 | } else { | ||
34 | if (ARGV[arg] == "gawk" || ARGV[arg] == "awk") | ||
35 | continue | ||
36 | # errexit("Invalid commandline argument" ARGV[arg]) | ||
37 | } | 28 | } |
38 | ARGV[arg] = "" | 29 | ARGV[arg] = "" |
39 | } | 30 | } |