From 0bc57807de7bb7408f9428eda41a94f6d676aded Mon Sep 17 00:00:00 2001 From: Emmanuel Viennet Date: Wed, 24 Apr 2024 20:37:03 +0200 Subject: [PATCH] release build script using gitea again --- tools/build_release.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build_release.sh b/tools/build_release.sh index 0244b963..ad916867 100755 --- a/tools/build_release.sh +++ b/tools/build_release.sh @@ -96,7 +96,7 @@ mkdir -p "$optdir" || die "mkdir failure for $optdir" archive="$FACTORY_DIR"/"$PACKAGE_NAME-$RELEASE_TAG".tar.gz echo "Downloading $GIT_RELEASE_URL ..." # curl -o "$archive" "$GIT_RELEASE_URL" || die "curl failure for $GIT_RELEASE_URL" -#wget --progress=dot -O "$archive" "$GIT_RELEASE_URL" || die "wget failure for $GIT_RELEASE_URL" +wget --progress=dot -O "$archive" "$GIT_RELEASE_URL" || die "wget failure for $GIT_RELEASE_URL" # -nv # On décomprime