blob: a2e8c4fbcb3a5299c9dcf3e7eff0e04b73e03331 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/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
|
