diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2020-04-06 00:18:45 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2020-04-06 00:18:45 +0300 |
| commit | 2065cd3073fc0c4ff7696d665cbb82d6cdce5b39 (patch) | |
| tree | edc1f786addceda50b16e298e1a9a31ed3f9c1cd /misc/git-hooks | |
| parent | c2a946c8c8bde00fc5145eedd1a52941b7da6cfd (diff) | |
| download | inter-2065cd3073fc0c4ff7696d665cbb82d6cdce5b39.tar.xz | |
make: updated makefile + init script with githook for running the init script
Diffstat (limited to 'misc/git-hooks')
| -rw-r--r-- | misc/git-hooks/post-checkout.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/git-hooks/post-checkout.sh b/misc/git-hooks/post-checkout.sh new file mode 100644 index 000000000..c32d46c55 --- /dev/null +++ b/misc/git-hooks/post-checkout.sh @@ -0,0 +1,2 @@ +#!/bin/bash -e +bash init.sh |