more time (for the solaris machine)

svn: r12223
This commit is contained in:
Eli Barzilay 2008-11-03 12:30:54 +00:00
parent 872b43f4dd
commit a2babc6045

View File

@ -24,7 +24,7 @@
(errh e))) (errh e)))
;; -- set up a timeout ;; -- set up a timeout
(thread (lambda () (thread (lambda ()
(sleep 600) (sleep 900)
(fprintf err "\n\n~aTIMEOUT -- ABORTING!\n" Section-prefix) (fprintf err "\n\n~aTIMEOUT -- ABORTING!\n" Section-prefix)
(exit 3) (exit 3)
;; in case the above didn't work for some reason ;; in case the above didn't work for some reason