build_release: Print uploaded file

2019-09-25 23:23:31 +02:00 · 2019-09-25 23:23:31 +02:00 · 10a8ffdefe
parent 9bd629f92c
commit 10a8ffdefe
1 changed files with 1 additions and 0 deletions
--- a/scripts/dev/build_release.py
+++ b/scripts/dev/build_release.py
@ -422,6 +422,7 @@ def github_upload(artifacts, tag):
        raise Exception("No release found for {!r}!".format(tag))

    for filename, mimetype, description in artifacts:
+        print("Uploading {}".format(filename))
        while True:
            try:
                with open(filename, 'rb') as f: