Browse Source

release process: don't create "uploaded" marker file in release.sh

No longer needed with the "chmod 444 *" trick in 697c700a1f.
(it is now cheap to re-run upload.sh, it no longer redundantly re-uploads hundreds of MBs)
SomberNight 3 years ago
parent
commit
497267bd34
No known key found for this signature in database
GPG Key ID: B33B5F232C6271E9
  1. 7
      contrib/release.sh

7
contrib/release.sh

@ -258,12 +258,7 @@ else
fi
# upload the files
if test -f dist/uploaded; then
info "files already uploaded"
else
./contrib/upload.sh
touch dist/uploaded
fi
./contrib/upload.sh
fi

Loading…
Cancel
Save