diff options
Diffstat (limited to 'Biz')
| -rw-r--r-- | Biz/Bild/ShellHook.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Bild/ShellHook.sh b/Biz/Bild/ShellHook.sh index 19720aa..5c8bf33 100644 --- a/Biz/Bild/ShellHook.sh +++ b/Biz/Bild/ShellHook.sh @@ -30,7 +30,7 @@ ln -s $BIZ_ROOT/Biz/Ide/post-merge $BIZ_ROOT/.git/hooks/post-merge ln -s $BIZ_ROOT/Biz/Lint.py $BIZ_ROOT/.git/hooks/pre-commit function bild() { - runghc Biz.Bild $@ + timeout 5m runghc Biz.Bild $@ } function deps() { |