use curl instead of wget

vegardit · Apr 2, 2023 · 911474c · 911474c
1 parent 69e5adb
commit 911474c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/publish-release.cmd b/tools/publish-release.cmd
@@ -76,7 +76,7 @@ echo Creating GitHub release https://github.com/%REPO_NAME%/releases/tag/v%PROJE
    echo "prerelease":%PREPRELEASE%
    echo }
 )>target\github_release.json
-wget -qO- --header="Authorization: token %GITHUB_ACCESS_TOKEN%" --post-file=target/github_release.json "https://api.github.com/repos/%REPO_NAME%/releases" || goto :eof
+curl -sSf -H "Authorization: token %GITHUB_ACCESS_TOKEN%" -d @target/github_release.json "https://api.github.com/repos/%REPO_NAME%/releases" || exit /B 1
 
 REM submit haxelib release
 echo Submitting haxelib release...