diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-16 23:59:06 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-07-05 14:01:20 +0200 |
commit | 201d61faf1e8669e7e62179ad1c2bb918523de8b (patch) | |
tree | 797a78d8075532f23f1fd882301eccc6054b1e78 /etc/squid/squid.conf | |
parent | 29d32cd8a042582ee9389b6607bb0e99d61453ea (diff) | |
download | jenkins.debian.net-201d61faf1e8669e7e62179ad1c2bb918523de8b.tar.xz |
reproducible: builds: be verbose while creating/deleting directories/files instead of > /dev/null. Also handle the .gz versions by appending {,.gz} to gzippable files. Those output will end up in the jenkins log only, so it won't clutter stuff under rb.d.n
Diffstat (limited to 'etc/squid/squid.conf')
0 files changed, 0 insertions, 0 deletions