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-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
|
|
|
|
|
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
|
2021-12-21 14:23:20 +00:00
|
|
|
build-scripts/build-doc
|
2020-10-24 23:31:09 +00:00
|
|
|
build-scripts/download-external-libs
|
