diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-03-02 21:52:14 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-03-02 21:52:14 +0100 |
commit | 12f846cfb2ae0b703f96dc0c1339d3f9a6cfcc97 (patch) | |
tree | 26094f9a326ebc6da7528e3130b31f87fb27c661 | |
parent | be30c497dced2d24d5f5990a839eeee6e089d7b1 (diff) | |
download | jenkins.debian.net-12f846cfb2ae0b703f96dc0c1339d3f9a6cfcc97.tar.xz |
fixup c4278aa8
-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 |