diff options
Diffstat (limited to 'build-scripts/download-external-libs')
| -rwxr-xr-x | build-scripts/download-external-libs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build-scripts/download-external-libs b/build-scripts/download-external-libs index 5e57a8a1..5c437c23 100755 --- a/build-scripts/download-external-libs +++ b/build-scripts/download-external-libs @@ -33,6 +33,13 @@ os.makedirs(dir_name, exist_ok=True) r = requests.get( 'https://api.github.com/repos/qpdf/external-libs/releases') releases = json.loads(r.text) + +# Help diagnose occasional failure where some releases don't have +# 'prerelease'. I've never seen this in attempts to reproduce. +print("---- github API output for external-libs releaes ----") +print(json.dumps(releases, indent=2, separators=(',', ': '))) +print("--------") + by_tag = sorted( [(r['tag_name'], r) for r in releases if r['prerelease'] is False], |