diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index c9f82f30..0bddbeb9 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -188,11 +188,11 @@ write_page_meta_sign() { publish_page() { if [ "$1" = "" ] ; then TARGET=$PAGE - if [ "$SUITE" = "sid" ] && [ "$VIEW" = "$MAINVIEW" ] ; then - cp $PAGE /var/lib/jenkins/userContent/reproducible.html - fi else TARGET=$1/$PAGE + if [ "$1" = "sid" ] && [ "$VIEW" = "$MAINVIEW" ] ; then + cp $PAGE /var/lib/jenkins/userContent/reproducible.html + fi fi cp $PAGE /var/lib/jenkins/userContent/$TARGET rm $PAGE |