diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2011-06-30T15·19+0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2011-06-30T15·19+0000 |
| commit | 5c9e9f732df6d95d712f25de9880b7461c53d6ca (patch) | |
| tree | d4e562f7048f57d0ec87461bce441dfd450374f7 /src/libstore/globals.hh | |
| parent | 9c99aa2620b8f86c0e7f99ebfe868e8ccb306f71 (diff) | |
Add support for the `build-timeout' and `--timeout' options.
Diffstat (limited to 'src/libstore/globals.hh')
| -rw-r--r-- | src/libstore/globals.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libstore/globals.hh b/src/libstore/globals.hh index a74a741d67..231c1f8508 100644 --- a/src/libstore/globals.hh +++ b/src/libstore/globals.hh @@ -72,6 +72,10 @@ extern string thisSystem; infinity. */ extern time_t maxSilentTime; +/* The maximum duration in seconds that a builder can run. 0 means + infinity. */ +extern time_t buildTimeout; + /* The substituters. There are programs that can somehow realise a store path without building, e.g., by downloading it or copying it from a CD. */ |