diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 1e5c20a5..996fb067 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -184,7 +184,7 @@ write_page_meta_sign() { publish_page() { if [ "$1" = "" ] ; then TARGET=$PAGE - if [ "$VIEW" = "$MAINVIEW" ] ; then + if [ "$SUITE" = "sid" ] && [ "$VIEW" = "$MAINVIEW" ] ; then cp $PAGE /var/lib/jenkins/userContent/reproducible.html fi else |