make_mirror.sh: print success message at the end

This commit is contained in:
Johannes Schauer Marin Rodrigues 2023-09-27 07:44:56 +02:00
parent 806ea4b35d
commit e5bcc1827e
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -550,3 +550,5 @@ mv --no-target-directory ./shared/cache.tmp ./shared/cache
deletecache "$oldcachedir" deletecache "$oldcachedir"
trap - EXIT INT TERM trap - EXIT INT TERM
echo "$0 finished successfully" >&2