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 495682c4..9a5f76df 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -565,9 +565,9 @@ publish_page() { else TARGET=$1/$PAGE fi - cp $PAGE $DEBIAN_BASE/$TARGET + cp -v $PAGE $BASE/$TARGET rm $PAGE - echo "Enjoy $DEBIAN_URL/$TARGET" + echo "Enjoy $REPRODUCIBLE_URL/$TARGET" } link_packages() { |