blob: c301fcea1c863da96aa5e496ef1ea32fa2a8fa31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/usr/bin/env bash
set -e
set -o pipefail
${SCRIPTS}/rewrite-index.pl | GIT_INDEX_FILE=$GIT_INDEX_FILE.new git update-index --index-info
if [ -f "$GIT_INDEX_FILE.new" ] ; then
mv "$GIT_INDEX_FILE.new" "$GIT_INDEX_FILE"
else
rm "$GIT_INDEX_FILE"
fi
exit 0
|