diff options
| author | rsc <devnull@localhost> | 2005-11-28 21:14:44 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-11-28 21:14:44 +0000 |
| commit | 6637b803f6d99fe3410483ad404ba6f042c13989 (patch) | |
| tree | ad50cd06024b0dafac3b5a65fa90f5e3ee872017 /dist | |
| parent | bdbc55d3524a3a93afad6fba08dfe5f774a3d2d2 (diff) | |
Make install less chatty, more useful.
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/isum.awk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dist/isum.awk b/dist/isum.awk index db782c8b..64f89efe 100644 --- a/dist/isum.awk +++ b/dist/isum.awk @@ -11,6 +11,9 @@ debug { print "# " $0 } /^$/ { next } +/^echo cd / { next } +/^\+\+ pwd/ { next } + /^\* /{ if(debug) print "% mark" print >out |