diff --git a/tools/tools/tinderbox/etc/default.rc b/tools/tools/tinderbox/etc/default.rc index 023c872bf0d5..967f17826844 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