diff options
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 |