diff options
Diffstat (limited to 'scripts/index-filter.sh')
| -rwxr-xr-x | scripts/index-filter.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/index-filter.sh b/scripts/index-filter.sh index d68238af2feb..e672867ce389 100755 --- a/scripts/index-filter.sh +++ b/scripts/index-filter.sh @@ -3,7 +3,10 @@ set -e set -o pipefail -git ls-files -s | tee /tmp/bar | sed -n -f ${SCRIPTS}/rewrite-paths.sed | tee /tmp/foo | \ +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 if [ -f "$GIT_INDEX_FILE.new" ] ; then |