diff --git a/collects/meta/drdr/config.ss b/collects/meta/drdr/config.ss index b14497b73d..02f1ec3028 100644 --- a/collects/meta/drdr/config.ss +++ b/collects/meta/drdr/config.ss @@ -9,8 +9,8 @@ (drdr-directory "/opt/svn/drdr") (git-path "/usr/bin/git") (Xvfb-path "/usr/bin/Xvfb") -(current-make-install-timeout-seconds (* 60 60)) -(current-make-timeout-seconds (* 60 60)) +(current-make-install-timeout-seconds (* 90 60)) +(current-make-timeout-seconds (* 90 60)) (current-subprocess-timeout-seconds 90) (current-monitoring-interval-seconds 60) (number-of-cpus 12)