diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-09-29 15:03:47 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-09-29 15:03:47 +0200 |
commit | 8d024c46641df193a444df27decdb9fbd270f125 (patch) | |
tree | 1bf41af7da7253cef98c30cd14bc507a8a66d81e /bin | |
parent | 70ab088f963b56c2de2cab02e193290dd98739fc (diff) | |
download | jenkins.debian.net-8d024c46641df193a444df27decdb9fbd270f125.tar.xz |
reproducible Debian: append unwanted history files to bad_files so that they can be shown
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_html_breakages.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_html_breakages.py b/bin/reproducible_html_breakages.py index fb06d78c..7fddaa92 100755 --- a/bin/reproducible_html_breakages.py +++ b/bin/reproducible_html_breakages.py @@ -250,6 +250,7 @@ def alien_history(): for f in sorted(os.listdir(HISTORY_PATH)): if f.rsplit('.', 1)[0] not in actual_packages: log.warning('%s should not be there', os.path.join(HISTORY_PATH, f)) + bad_files.append(os.path.join(HISTORY_PATH, f)) return bad_files |