diff options
| author | Dag-Erling Smørgrav <des@FreeBSD.org> | 2004-08-19 07:26:31 +0000 |
|---|---|---|
| committer | Dag-Erling Smørgrav <des@FreeBSD.org> | 2004-08-19 07:26:31 +0000 |
| commit | 838f465d69c4e833a630300b4547876740c6c39e (patch) | |
| tree | b54dba7d082071ace9529253a08c52e66b895c7e /tools | |
| parent | 000968010ab24efa79554d8ad76d16c5120ef115 (diff) | |
Notes
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tools/tinderbox/etc/default.rc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/etc/default.rc b/tools/tools/tinderbox/etc/default.rc index 023c872bf0d57..967f17826844e 100644 --- a/tools/tools/tinderbox/etc/default.rc +++ b/tools/tools/tinderbox/etc/default.rc @@ -14,6 +14,7 @@ logdir = %%HOME%%/logs tinderbox = %%HOME%%/bin/tinderbox options = --verbose targets = update, world, generic, lint +#timeout = 7200 # Reporting sender = FreeBSD Tinderbox <tinderbox@freebsd.org> |