diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 8e6d30bb..d34f1d42 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -219,6 +219,8 @@ link_packages() { } gen_packages_html() { + local suite="$1" + shift CWD=$(pwd) cd /srv/jenkins/bin for (( i=1; i<$#+1; i=i+100 )) ; do @@ -232,7 +234,7 @@ gen_packages_html() { fi done string+=']' - python3 -c "from reproducible_html_packages import gen_packages_html; gen_packages_html(${string}, no_clean=True)" + python3 -c "from reproducible_html_packages import gen_packages_html; gen_packages_html(${string}, suite=\"${suite}\" no_clean=True)" done python3 -c "from reproducible_html_packages import purge_old_pages; purge_old_pages()" cd "$CWD" |