diff options
| author | Jay Berkenbilt <ejb@ql.org> | 2022-12-31 21:05:48 +0100 |
|---|---|---|
| committer | Jay Berkenbilt <ejb@ql.org> | 2022-12-31 21:05:48 +0100 |
| commit | 234e323743a48c3818313c887d029233fd210a15 (patch) | |
| tree | ac9e6e9251c08a619855fed666e26dd539e3e594 /build-scripts/prebuild | |
| parent | 3f567ae02da70f5634d728d2d089e04a4f2fad56 (diff) | |
| download | qpdf-234e323743a48c3818313c887d029233fd210a15.tar.zst | |
Use authenticated API call for github API for better rate limits
Diffstat (limited to 'build-scripts/prebuild')
| -rwxr-xr-x | build-scripts/prebuild | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/build-scripts/prebuild b/build-scripts/prebuild index 44b59949..00f48dd3 100755 --- a/build-scripts/prebuild +++ b/build-scripts/prebuild @@ -1,6 +1,13 @@ #!/bin/bash set -e cd $(dirname $0)/.. + +token=$1 +if [ "$token" = "" ]; then + echo 1>&2 "Usage: $0 github-token" + exit 2 +fi + if ! ./generate_auto_job --check; then cat 1>&2 <<EOF @@ -18,4 +25,4 @@ EOF exit 2 fi build-scripts/build-doc -build-scripts/download-external-libs +build-scripts/download-external-libs $token |