diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_schedule_on_demand.sh | 2 | ||||
-rwxr-xr-x | bin/reproducible_scheduler.sh | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_schedule_on_demand.sh b/bin/reproducible_schedule_on_demand.sh index b32061b9..5e3c56e0 100755 --- a/bin/reproducible_schedule_on_demand.sh +++ b/bin/reproducible_schedule_on_demand.sh @@ -56,7 +56,7 @@ MESSAGE="$TOTAL package(s) manually (re-)scheduled for immediate testing: ${PACK # finally schedule_packages -python3 -c "from reproducible_html_indexes import build_page; build_page('scheduled')" +/srv/jenkins/bin/reproducible_html_indexes.py echo echo "$MESSAGE" kgb-client --conf /srv/jenkins/kgb/debian-reproducible.conf --relay-msg "$MESSAGE" diff --git a/bin/reproducible_scheduler.sh b/bin/reproducible_scheduler.sh index d033ca3e..e31261d5 100755 --- a/bin/reproducible_scheduler.sh +++ b/bin/reproducible_scheduler.sh @@ -152,7 +152,7 @@ schedule_packages() { update_apt COUNT_SCHEDULED=$(sqlite3 ${PACKAGES_DB} 'SELECT count(name) FROM sources_scheduled') if [ $COUNT_SCHEDULED -gt 250 ] ; then - python3 -c "from reproducible_html_indexes import build_page; build_page('scheduled')" + /srv/jenkins/bin/reproducible_html_indexes.py echo "$COUNT_SCHEDULED packages scheduled, nothing to do." exit 0 else @@ -210,7 +210,7 @@ MESSAGE="$MESSAGE and $AMOUNT packages with the same version again, for a total # finally schedule_packages -python3 -c "from reproducible_html_indexes import build_page; build_page('scheduled')" +/srv/jenkins/bin/reproducible_html_indexes.py echo echo "$MESSAGE" kgb-client --conf /srv/jenkins/kgb/debian-reproducible.conf --relay-msg "$MESSAGE" |