diff options
| author | Ben Sima <ben@bsima.me> | 2023-10-07 09:23:08 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-10-10 13:16:49 -0400 |
| commit | 2c5ac71cdddae1ac48f2480069fba0f7f5f61b65 (patch) | |
| tree | bf08391885499be78772498b1433961b640e08ab /Biz/Bild.hs | |
| parent | 904de577261e7024373e7a42fd763184764238f9 (diff) | |
Allow for infinite timeout in bild
Setting '--time 0' will disable the timeout mechanism altogether. This
is necessary because the initial bootstrap build (without access to any
cached dependencies) takes *hours* mostly because of cuda and opencv and
things like that.
Diffstat (limited to 'Biz/Bild.hs')
| -rw-r--r-- | Biz/Bild.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Biz/Bild.hs b/Biz/Bild.hs index d178a83..a3b8856 100644 --- a/Biz/Bild.hs +++ b/Biz/Bild.hs @@ -221,7 +221,7 @@ move args = |> readMaybe |> \case Nothing -> panic "could not read --time argument" - Just n -> n + Just n -> (n == 0) ?: (-1, n) printOrBuild :: Analysis -> IO [ExitCode] printOrBuild targets | Map.null targets = @@ -284,7 +284,7 @@ Options: --test, -t Run tests on a target after building --loud, -l Show all output from compiler --json, -j Print the build plan as JSON, don't build - --time N Set timeout to N minutes [default: 10] + --time N Set timeout to N minutes, 0 means never timeout [default: 10] --help, -h Print this info |] |