diff options
Diffstat (limited to 'logparse/reproducible.rules')
| -rw-r--r-- | logparse/reproducible.rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/logparse/reproducible.rules b/logparse/reproducible.rules index 66139b3b..cba99551 100644 --- a/logparse/reproducible.rules +++ b/logparse/reproducible.rules @@ -22,3 +22,6 @@ warning /W: The repository .+ is not signed./ warning /W: There is no public key available for the following key IDs:.+/ warning /Warning: /.../shm.+please tell the jenkins admins to fix this./ warning /Warning, today is the wrong future:.+/ +warning /Warning: curl http:..www.debian.org failed, probably the proxy is down for.+/ + + |