From a2babc60453ecb5ba7f8b8d09cf9f2dca56bd362 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 3 Nov 2008 12:30:54 +0000 Subject: [PATCH] more time (for the solaris machine) svn: r12223 --- collects/tests/mzscheme/quiet.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/mzscheme/quiet.ss b/collects/tests/mzscheme/quiet.ss index 311a258b3e..c35ae16081 100644 --- a/collects/tests/mzscheme/quiet.ss +++ b/collects/tests/mzscheme/quiet.ss @@ -24,7 +24,7 @@ (errh e))) ;; -- set up a timeout (thread (lambda () - (sleep 600) + (sleep 900) (fprintf err "\n\n~aTIMEOUT -- ABORTING!\n" Section-prefix) (exit 3) ;; in case the above didn't work for some reason