#!/usr/bin/env bash
#
# Give an error if somebody forgot to run ./reindex.py.
#
# Only works on a clean git checkout.

set -e -u -o pipefail -x

TOPLEVEL=$(dirname "$0")/..

if ! git diff --quiet ; then
    echo "Git repository is not clean. Cannot procede."
    exit 2
fi

cd "$TOPLEVEL/"
./bin/reindex

if ! git diff --quiet ; then
    echo "Proposal index is not up-to-date. Run ./reindex.py to regenerate it." >&2
    exit 1
fi