From 497267bd340aa2c97239f98d78c136f03f6c0f55 Mon Sep 17 00:00:00 2001 From: SomberNight Date: Fri, 27 Jan 2023 11:03:31 +0000 Subject: [PATCH] release process: don't create "uploaded" marker file in release.sh No longer needed with the "chmod 444 *" trick in 697c700a1f42292df12c23651ea5e48033b33cc0. (it is now cheap to re-run upload.sh, it no longer redundantly re-uploads hundreds of MBs) --- contrib/release.sh | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/contrib/release.sh b/contrib/release.sh index 297fea60c..cb325bdea 100755 --- a/contrib/release.sh +++ b/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