blob: 00f48dd32bc03904dbab1c3b81b17712444d7a5a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#!/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
******************************
An input or output file of generate_auto_job was modified without
rerunning ./generate_auto_job. If you are seeing this in your pull
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.
******************************
EOF
exit 2
fi
build-scripts/build-doc
build-scripts/download-external-libs $token
|