diff options
| -rw-r--r-- | Makefile.release | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.release b/Makefile.release index a81754c5d..50ef7da39 100644 --- a/Makefile.release +++ b/Makefile.release @@ -98,6 +98,7 @@ github-push: @$(eval RELEASE:=$(shell curl -s -d '{"tag_name": "v$(VERSION)", "name": "v$(VERSION)"}' "https://api.github.com/repos/$(GITHUB)/$(NAME)/releases?access_token=${GITHUB_ACCESS_TOKEN}" | grep -m 1 '"id"' | tr -cd '[[:digit:]]')) @echo ReleaseID: $(RELEASE) @for asset in `ls -A release`; do \ + echo $$asset; \ curl -o /dev/null -X POST \ -H "Content-Type: application/gzip" \ --data-binary "@release/$$asset" \ |