Searched refs:GIT_INDEX_FILE (Results 1 – 1 of 1) sorted by relevance
6 ${SCRIPTS}/rewrite-index.pl | GIT_INDEX_FILE=$GIT_INDEX_FILE.new git update-index --index-info8 if [ -f "$GIT_INDEX_FILE.new" ] ; then9 mv "$GIT_INDEX_FILE.new" "$GIT_INDEX_FILE"11 rm "$GIT_INDEX_FILE"