#!/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
