2020-10-16 17:14:10 +00:00
|
|
|
#!/bin/bash
|
2022-02-08 14:31:54 +00:00
|
|
|
set -e
|
2020-10-24 23:31:09 +00:00
|
|
|
cd $(dirname $0)/..
|
2022-12-31 20:05:48 +00:00
|
|
|
|
|
|
|
token=$1
|
|
|
|
if [ "$token" = "" ]; then
|
|
|
|
echo 1>&2 "Usage: $0 github-token"
|
|
|
|
exit 2
|
|
|
|
fi
|
|
|
|
|
2022-02-08 14:31:54 +00: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 23:09:12 +00: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 14:31:54 +00:00
|
|
|
|
|
|
|
******************************
|
|
|
|
|
|
|
|
EOF
|
|
|
|
exit 2
|
|
|
|
fi
|
2021-12-21 14:23:20 +00:00
|
|
|
build-scripts/build-doc
|
2022-12-31 20:05:48 +00:00
|
|
|
build-scripts/download-external-libs $token
|