blob: e6ee197cab68b8b5441a5073fc69b36390b751b1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/bash
set -e
cd $(dirname $0)/..
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 --enable-maintainer-mode to ./configure 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
|
