diff options
author | Ievgenii Meshcheriakov <ievgenii.meshcheriakov@qt.io> | 2021-10-05 10:57:39 +0200 |
---|---|---|
committer | Ievgenii Meshcheriakov <ievgenii.meshcheriakov@qt.io> | 2021-10-05 21:53:10 +0200 |
commit | 906cb8d4ef4514c8eeb63d683ef1bb1b870407a0 (patch) | |
tree | aa55e8637610cb3c227c3bad9328fc33b0545a3d /util | |
parent | cb651f81de658874fc35e590364ab2e0cba67244 (diff) |
Remove util/harfbuzz/update-harfbuzz
This is not the correct script to update harfbuzz. The correct one is
src/3rdparty/harfbuzz-ng/import_from_tarball.sh
Change-Id: Ic9ed43cae591cd6957effb10f557166c43498ad9
Reviewed-by: Eskil Abrahamsen Blomfeldt <eskil.abrahamsen-blomfeldt@qt.io>
Diffstat (limited to 'util')
-rwxr-xr-x | util/harfbuzz/update-harfbuzz | 63 |
1 files changed, 0 insertions, 63 deletions
diff --git a/util/harfbuzz/update-harfbuzz b/util/harfbuzz/update-harfbuzz deleted file mode 100755 index 29891b6fe7..0000000000 --- a/util/harfbuzz/update-harfbuzz +++ /dev/null @@ -1,63 +0,0 @@ -#!/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" |