Home
last modified time | relevance | path

Searched refs:GIT_INDEX_FILE (Results 1 – 2 of 2) sorted by relevance

/dts/upstream/scripts/
A Dindex-filter.sh6 ${SCRIPTS}/rewrite-index.pl | GIT_INDEX_FILE=$GIT_INDEX_FILE.new git update-index --index-info
8 if [ -f "$GIT_INDEX_FILE.new" ] ; then
9 mv "$GIT_INDEX_FILE.new" "$GIT_INDEX_FILE"
11 rm "$GIT_INDEX_FILE"
A Dgit-filter-branch241 ORIG_GIT_INDEX_FILE="$GIT_INDEX_FILE"
286 GIT_INDEX_FILE="$(pwd)/../index"
287 export GIT_INDEX_FILE
408 rm -f "$GIT_INDEX_FILE"
597 unset GIT_DIR GIT_WORK_TREE GIT_INDEX_FILE
608 GIT_INDEX_FILE="$ORIG_GIT_INDEX_FILE" &&
609 export GIT_INDEX_FILE

Completed in 12 milliseconds