From 91e09a4aa53af080ddd784e22d749725adc86e8c Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Mon, 22 Mar 2021 11:11:21 -0400
Subject: 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.
---
 Biz/Bild/ShellHook.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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() {
-- 
cgit v1.2.3