blob: e672867ce389ecabade788ab6cd3b5b717dbf211 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/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
|
