From 2ee0ab27d123e8af64f47c5f3688b3d358a1bb0d Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Mon, 7 Apr 2008 18:30:45 -0500 Subject: [PATCH] builder: Up bootstrap timeout to 4 hours --- extra/builder/builder.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extra/builder/builder.factor b/extra/builder/builder.factor index 8e9565f82a..0e3a794e24 100644 --- a/extra/builder/builder.factor +++ b/extra/builder/builder.factor @@ -106,7 +106,7 @@ IN: builder +closed+ >>stdin "../test-log" >>stdout +stdout+ >>stderr - 120 minutes >>timeout ; + 240 minutes >>timeout ; : do-builder-test ( -- ) builder-test [ "Test error" print "../test-log" 100 cat-n ] run-or-bail ;