#!/bin/bash

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

if [ -f "$GIT_INDEX_FILE.new" ] ; then
    mv "$GIT_INDEX_FILE.new" "$GIT_INDEX_FILE"
else
    rm "$GIT_INDEX_FILE"
fi

exit 0