diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-16 22:55:44 +0100 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-16 22:55:44 +0100 |
| commit | 1ddba25150bf1688eccfc11c6ca28b33bdde9927 (patch) | |
| tree | 3cb694fdab60b2b0e3d98bd1aae17e13cde5bc29 /bin/reproducible_schedule_on_demand.sh | |
| parent | 745e243fc691e729f44906e4842c3a406cc635a4 (diff) | |
| download | jenkins.debian.net-1ddba25150bf1688eccfc11c6ca28b33bdde9927.tar.xz | |
reproducible: use the html_indexes.py script to build the scheduled index pages in the scheduler jobs
Diffstat (limited to 'bin/reproducible_schedule_on_demand.sh')
| -rwxr-xr-x | bin/reproducible_schedule_on_demand.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/reproducible_schedule_on_demand.sh b/bin/reproducible_schedule_on_demand.sh index 0776f81c..b32061b9 100755 --- a/bin/reproducible_schedule_on_demand.sh +++ b/bin/reproducible_schedule_on_demand.sh @@ -56,8 +56,7 @@ MESSAGE="$TOTAL package(s) manually (re-)scheduled for immediate testing: ${PACK # finally schedule_packages -init_html -update_html_schedule +python3 -c "from reproducible_html_indexes import build_page; build_page('scheduled')" echo echo "$MESSAGE" kgb-client --conf /srv/jenkins/kgb/debian-reproducible.conf --relay-msg "$MESSAGE" |