diff options
| author | des <des@FreeBSD.org> | 2004-08-19 07:26:31 +0000 |
|---|---|---|
| committer | des <des@FreeBSD.org> | 2004-08-19 07:26:31 +0000 |
| commit | 80d319927b3cc25fab140da55295622f81fbd36b (patch) | |
| tree | b54dba7d082071ace9529253a08c52e66b895c7e | |
| parent | bead871bc0f3ff80e8f33ef17761a029b9bbd474 (diff) | |
| download | FreeBSD-src-80d319927b3cc25fab140da55295622f81fbd36b.zip FreeBSD-src-80d319927b3cc25fab140da55295622f81fbd36b.tar.gz | |
Comment out the timeout setting; it doesn't work properly.
| -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 023c872..967f178 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> |
