diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/isum.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/isum.awk b/dist/isum.awk index 476c6ea9..4fce96ec 100644 --- a/dist/isum.awk +++ b/dist/isum.awk @@ -66,7 +66,7 @@ debug!=0 { print "# " $0 } { printtabs = 0 } -/^(9a|9c|9l|9ar|9?install|cp|rm|mv|mk|9 yacc|9 lex|9 rc|do|for i|if|mk|gcc|cpp|cp|sh|cmp|rc|\.\/o)($|[^:])/ { +/^(9a|9c|9l|9ar|9?install|cat pdf|cp|rm|mv|mk|9 yacc|9 lex|9 rc|do|for i|if|mk|gcc|cpp|cp|sh|cmp|rc|\.\/o)($|[^:])/ { if(debug) print "% start" errors = 0 cmd = "" |