aboutsummaryrefslogtreecommitdiff
path: root/dist/isum.awk
diff options
context:
space:
mode:
authorPetter Rodhelind <petter.rodhelind@gmail.com>2019-01-07 21:48:38 +0100
committerPetter Rodhelind <petter.rodhelind@gmail.com>2019-01-07 21:48:38 +0100
commit98222694f92aeecfcbb216fd1cb835b9550aa6d6 (patch)
tree94f06e87ee4eb2145b46be89db141d82507c630d /dist/isum.awk
parentd95f1bcc4938b3b0b7f832b67575e07a87095721 (diff)
parent2607cc565ee3d5facb8949e9acfed35c8ae300c9 (diff)
downloadplan9port-98222694f92aeecfcbb216fd1cb835b9550aa6d6.tar.gz
plan9port-98222694f92aeecfcbb216fd1cb835b9550aa6d6.tar.bz2
plan9port-98222694f92aeecfcbb216fd1cb835b9550aa6d6.zip
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'dist/isum.awk')
-rw-r--r--dist/isum.awk2
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/isum.awk b/dist/isum.awk
index 0d2f8721..081ba0ef 100644
--- a/dist/isum.awk
+++ b/dist/isum.awk
@@ -132,7 +132,7 @@ errors != 0 {
next
}
-/(up to date|nothing to see|assuming it will be|loop not entered)/ {
+/(up to date|nothing to see|assuming it will be|loop not entered|# WSYSTYPE)/ {
next
}