diff options
-rwxr-xr-x | dist/mkfilelist | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dist/mkfilelist b/dist/mkfilelist index 31faed99..cd642527 100755 --- a/dist/mkfilelist +++ b/dist/mkfilelist @@ -4,7 +4,7 @@ sort | sed 's;^./;;' | grep . | awk -vplan9'='$PLAN9 ' function cat(s) { - print $0, s + print line0, s next } @@ -28,6 +28,7 @@ awk -vplan9'='$PLAN9 ' } # Eliminate unmentionables. + { line0 = $0 } /^CVS\// { next } /\/CVS\// { next } /\.#/ { next } |