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

/u-boot/dts/upstream/scripts/
H 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"

Completed in 81 milliseconds