increase core-tests timeout

Relevant to #2961
This commit is contained in:
Matthew Flatt 2019-12-11 15:07:39 -07:00
parent 843824c94e
commit e311eed538

View File

@ -30,7 +30,7 @@
(set! timeout-thread
(thread
(lambda ()
(sleep 1200)
(sleep 3600)
(fprintf errp "\n\n~aTIMEOUT -- ABORTING!\n" Section-prefix)
(exit 3)
;; in case the above didn't work for some reason