diff options
Diffstat (limited to 'munch.awk')
| -rw-r--r-- | munch.awk | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/munch.awk b/munch.awk deleted file mode 100644 index 1ed68686c1..0000000000 --- a/munch.awk +++ /dev/null @@ -1,11 +0,0 @@ -BEGIN { special = 0 } - -/EXTERNS/ { ndirs = split(subdirs, dirs) - for (i = 1; i <= ndirs; ++i) - printf "extern void __init_%s __P ((int argc, char **argv, char **envp));\n", dirs[i] - special = 1 } -/CALLS/ { ndirs = split(subdirs, dirs) - for (i = 1; i <= ndirs; ++i) printf " __init_%s (argc, argv, envp);\n", dirs[i] - special = 1 } - -{ if (special == 0) print $0; special = 0 } |