diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 8f3e5184..f1f87f8b 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -236,13 +236,13 @@ write_page_meta_sign() { publish_page() { if [ "$1" = "" ] ; then if [ "$VIEW" = "$MAINVIEW" ] ; then - cp $PAGE /var/lib/jenkins/userContent/reproducible.html + cp $PAGE $BASE/reproducible.html fi TARGET=$PAGE else TARGET=$1/$PAGE fi - cp $PAGE /var/lib/jenkins/userContent/$TARGET + cp $PAGE $BASE/$TARGET rm $PAGE echo "Enjoy $REPRODUCIBLE_URL/$TARGET" } |