diff options
Diffstat (limited to 'scripts/index-filter.sh')
| -rwxr-xr-x | scripts/index-filter.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/scripts/index-filter.sh b/scripts/index-filter.sh index e672867ce389..9610855020ba 100755 --- a/scripts/index-filter.sh +++ b/scripts/index-filter.sh @@ -3,11 +3,7 @@ set -e set -o pipefail -crumbs=/tmp/device-tree-export -git ls-files -s | tee $crumbs-orig | \ - ${SCRIPTS}/flatten-symlinks.sh | tee $crumbs-flattened | \ - sed -n -f ${SCRIPTS}/rewrite-paths.sed | tee $crumbs-rewritten | \ - GIT_INDEX_FILE=$GIT_INDEX_FILE.new git update-index --index-info +${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" |