diff options
Diffstat (limited to 'misc')
-rwxr-xr-x | misc/git-hooks/post-checkout.sh | 8 | ||||
-rwxr-xr-x | misc/git-hooks/post-merge.sh | 8 | ||||
-rwxr-xr-x | misc/tools/woff2 | 6 |
3 files changed, 18 insertions, 4 deletions
diff --git a/misc/git-hooks/post-checkout.sh b/misc/git-hooks/post-checkout.sh index c32d46c55..61fa00b00 100755 --- a/misc/git-hooks/post-checkout.sh +++ b/misc/git-hooks/post-checkout.sh @@ -1,2 +1,6 @@ -#!/bin/bash -e -bash init.sh +#!/bin/sh +# Uninstall git hook used by old toolchain +case "$0" in + */.git/hooks/*) rm "$0";; + *) echo "Inter git hooks are no longer used" +esac diff --git a/misc/git-hooks/post-merge.sh b/misc/git-hooks/post-merge.sh index c32d46c55..61fa00b00 100755 --- a/misc/git-hooks/post-merge.sh +++ b/misc/git-hooks/post-merge.sh @@ -1,2 +1,6 @@ -#!/bin/bash -e -bash init.sh +#!/bin/sh +# Uninstall git hook used by old toolchain +case "$0" in + */.git/hooks/*) rm "$0";; + *) echo "Inter git hooks are no longer used" +esac diff --git a/misc/tools/woff2 b/misc/tools/woff2 new file mode 100755 index 000000000..35575dace --- /dev/null +++ b/misc/tools/woff2 @@ -0,0 +1,6 @@ +#!/usr/bin/env python +import sys +from fontTools.ttLib.woff2 import main + +if __name__ == "__main__": + sys.exit(main()) |