diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-01-23 17:16:11 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-01-23 17:16:11 +0100 |
commit | beaa80c64f066ad9118d44b25a6ac4f19f15fd08 (patch) | |
tree | 0bbd3b11eb0807a043595e703bc6ec8399ffb53b | |
parent | 39e76b232f61682d56b39e59cadd70a358061c24 (diff) | |
download | jenkins.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-x | bin/reproducible_html_breakages.py | 4 |
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 |