summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2017-01-23 17:16:11 +0100
committerHolger Levsen <holger@layer-acht.org>2017-01-23 17:16:11 +0100
commitbeaa80c64f066ad9118d44b25a6ac4f19f15fd08 (patch)
tree0bbd3b11eb0807a043595e703bc6ec8399ffb53b
parent39e76b232f61682d56b39e59cadd70a358061c24 (diff)
downloadjenkins.debian.net-beaa80c64f066ad9118d44b25a6ac4f19f15fd08.tar.xz
reproducible Debian: really ignore files which have been deleted
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-xbin/reproducible_html_breakages.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_html_breakages.py b/bin/reproducible_html_breakages.py
index 1ae6a0a1..6eb459d9 100755
--- a/bin/reproducible_html_breakages.py
+++ b/bin/reproducible_html_breakages.py
@@ -173,11 +173,11 @@ def alien_log(directory=None):
if strip_epoch(rversion) != version:
try:
if os.path.getmtime('/'.join([root, file]))<time.time()-86400:
- bad_files.append('/'.join([root, file]))
os.remove('/'.join([root, file]))
log.warning('/'.join([root, file]) + ' should not be there and and was older than a day so it was removed.')
else:
- log.info('ignoring ' + '/'.join([root, file]) + ' which should not be there, but is also less than 24h old and will probably soon be gone.')
+ bad_files.append('/'.join([root, file]))
+ log.info('/'.join([root, file]) + ' should not be there, but is also less than 24h old and will probably soon be gone.')
except FileNotFoundError:
pass # that bad file is already gone.
return bad_files