2020-10-16 13:14:10 -04:00
|
|
|
#!/bin/bash
|
2022-02-08 09:31:54 -05:00
|
|
|
set -e
|
2020-10-24 19:31:09 -04:00
|
|
|
cd $(dirname $0)/..
|
2022-12-31 15:05:48 -05:00
|
|
|
|
|
|
|
token=$1
|
|
|
|
if [ "$token" = "" ]; then
|
|
|
|
echo 1>&2 "Usage: $0 github-token"
|
|
|
|
exit 2
|
|
|
|
fi
|
|
|
|
|
2022-02-08 09:31:54 -05:00
|
|
|
if ! ./generate_auto_job --check; then
|
|
|
|
cat 1>&2 <<EOF
|
|
|
|
|
|
|
|
******************************
|
|
|
|
|
|
|
|
An input or output file of generate_auto_job was modified without
|
|
|
|
rerunning ./generate_auto_job. If you are seeing this in your pull
|
2022-12-11 18:09:12 -05:00
|
|
|
request, you should pass -DMAINTAINER_MODE=1 to cmake if possible, or
|
|
|
|
if not, run "./generate_auto_job --generate" and include any changed
|
|
|
|
files in your commit.
|
2022-02-08 09:31:54 -05:00
|
|
|
|
|
|
|
******************************
|
|
|
|
|
|
|
|
EOF
|
|
|
|
exit 2
|
|
|
|
fi
|
2021-12-21 09:23:20 -05:00
|
|
|
build-scripts/build-doc
|
2022-12-31 15:05:48 -05:00
|
|
|
build-scripts/download-external-libs $token
|