From 67a9532dee0eb8eefc77d0c4885bcfe170e2a6ef Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Tue, 8 Mar 2011 16:32:33 -0800
Subject: [PATCH] Remove GC overspend; running out of memory on some
 tinderboxes.

---
 src/boot/driver/main.ml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml
index 9705f1ee7b1..ddcbc9afd70 100644
--- a/src/boot/driver/main.ml
+++ b/src/boot/driver/main.ml
@@ -1,11 +1,6 @@
 
 open Common;;
 
-let _ =
-  Gc.set { (Gc.get()) with
-             Gc.space_overhead = 400; }
-;;
-
 let (targ:Common.target) =
   match Sys.os_type with