diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2022-06-03 20:28:21 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2022-06-03 20:28:41 +0300 |
| commit | 585f56cee5c1a75711e20c55e7a2dd2ac519d6cb (patch) | |
| tree | 96c944a73b86e3a846e99ab51a3fe3f08aaadc07 /misc/git-hooks/post-merge.sh | |
| parent | b0a23fb682f974917744ab640f04567ea4f02344 (diff) | |
| download | inter-585f56cee5c1a75711e20c55e7a2dd2ac519d6cb.tar.xz | |
toolchain: drop old Makefile and init.sh script along with git hooks and slim down Python requirements.txt to just what we need
Diffstat (limited to 'misc/git-hooks/post-merge.sh')
| -rwxr-xr-x | misc/git-hooks/post-merge.sh | 8 |
1 files changed, 6 insertions, 2 deletions
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 |