diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-16 22:54:42 +0100 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-16 22:54:42 +0100 |
| commit | 745e243fc691e729f44906e4842c3a406cc635a4 (patch) | |
| tree | e0a73e9d3c8d3ec4890b4274ae7ae4eb33e3f38a | |
| parent | 39d5fcaf61a26a589aedcfe724e16f198b507a98 (diff) | |
| download | jenkins.debian.net-745e243fc691e729f44906e4842c3a406cc635a4.tar.xz | |
reproducible: html_indexes: gather bugs data even when the script is not called directly
| -rwxr-xr-x | bin/reproducible_html_indexes.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/reproducible_html_indexes.py b/bin/reproducible_html_indexes.py index 0611a067..9847781a 100755 --- a/bin/reproducible_html_indexes.py +++ b/bin/reproducible_html_indexes.py @@ -311,7 +311,9 @@ def build_page(page): log.info('"' + title + '" now available at ' + desturl) +bugs = get_bugs() + + if __name__ == '__main__': - bugs = get_bugs() for page in pages.keys(): build_page(page) |