diff options
| author | Petter Rodhelind <petter.rodhelind@gmail.com> | 2019-01-07 21:48:38 +0100 |
|---|---|---|
| committer | Petter Rodhelind <petter.rodhelind@gmail.com> | 2019-01-07 21:48:38 +0100 |
| commit | 98222694f92aeecfcbb216fd1cb835b9550aa6d6 (patch) | |
| tree | 94f06e87ee4eb2145b46be89db141d82507c630d /dist | |
| parent | d95f1bcc4938b3b0b7f832b67575e07a87095721 (diff) | |
| parent | 2607cc565ee3d5facb8949e9acfed35c8ae300c9 (diff) | |
| download | plan9port-98222694f92aeecfcbb216fd1cb835b9550aa6d6.tar.gz plan9port-98222694f92aeecfcbb216fd1cb835b9550aa6d6.tar.bz2 plan9port-98222694f92aeecfcbb216fd1cb835b9550aa6d6.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/isum.awk | 2 |
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 } |