diff options
| -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> |
