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 /.ghci | |
| 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.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions