Make install less chatty, more useful.

2005-11-28 21:14:44 +00:00
parent bdbc55d352
commit 6637b803f6
5 changed files with 47 additions and 20 deletions
--- 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