#!/bin/bash+
−
+
−
set -e+
−
+
−
require_clean_work_tree() {+
−
    # test if working tree is dirty+
−
    git rev-parse --verify HEAD > /dev/null &&+
−
    git update-index --refresh &&+
−
    git diff-files --quiet &&+
−
    git diff-index --cached --quiet HEAD ||+
−
    die "Working tree is dirty"+
−
}+
−
+
−
branch=master+
−
+
−
if [ $# = 1 ]; then+
−
    repo=$1+
−
elif [ $# = 2 ]; then+
−
    repo=$1+
−
    branch=$2+
−
else+
−
    echo "usage: $0 <path to local harfbuzz repository> [branch]"+
−
    exit 1+
−
fi+
−
+
−
if [ ! -r $repo/.git ]; then+
−
    echo "The provided path $repo does not point to a git repository."+
−
    exit 2+
−
fi+
−
+
−
test -z "$(git rev-parse --show-cdup)" || {+
−
       exit=$?+
−
       echo >&2 "You need to run this command from the toplevel of the working tree."+
−
       exit $exit+
−
}+
−
+
−
require_clean_work_tree+
−
+
−
url=`git --git-dir=$repo/.git config remote.origin.url`+
−
+
−
git ls-files src/3rdparty/harfbuzz | git update-index --force-remove --stdin+
−
+
−
git fetch $repo $branch+
−
+
−
commit=`git rev-parse FETCH_HEAD`+
−
tree=`git cat-file commit FETCH_HEAD|grep "^tree" | awk '{print $2}'`+
−
+
−
git read-tree --prefix=src/3rdparty/harfbuzz $tree+
−
+
−
git checkout src/3rdparty/harfbuzz+
−
+
−
git status+
−
+
−
cat >commitlog.txt <<EOT+
−
Updated Harfbuzz from $url to $commit+
−
EOT+
−
+
−
echo+
−
echo "Wrote commitlog.txt. Use with"+
−
echo+
−
echo "    git commit -e -F commitlog.txt"+
−
echo+
−
echo "to commit your changes"+
−