diff options
| author | Ben Sima <ben@bsima.me> | 2021-03-22 11:11:21 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-03-22 11:11:21 -0400 |
| commit | 91e09a4aa53af080ddd784e22d749725adc86e8c (patch) | |
| tree | c16189dcc9b18a501886da5f6b6dbc68e7f0b95e | |
| parent | fb3ea71e49c6eb37dcacffffa7857229a4f183dd (diff) | |
Timeout bild after 5 minutes
No build should take longer than 5 minutes; if it does then something is wrong
so let's just die and start over.
| -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() { |