From 906cb8d4ef4514c8eeb63d683ef1bb1b870407a0 Mon Sep 17 00:00:00 2001 From: Ievgenii Meshcheriakov Date: Tue, 5 Oct 2021 10:57:39 +0200 Subject: 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 --- util/harfbuzz/update-harfbuzz | 63 ------------------------------------------- 1 file changed, 63 deletions(-) delete mode 100755 util/harfbuzz/update-harfbuzz (limited to 'util') 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 [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 <