19 lines
429 B
Bash
Executable File
19 lines
429 B
Bash
Executable File
#!/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
|