From 8ecbe49a8fa8b4bb17c2d798d5de6fc0303c5bc6 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 5 Oct 2010 18:44:39 -0700 Subject: Add -minimal mode to rustboot that skips emitting code that's broken or unneeded for rustc. Shrink rustc by 300kb. Back under 1mb. --- src/boot/driver/session.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/boot/driver/session.ml') diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml index ae16c139..8d7c3319 100644 --- a/src/boot/driver/session.ml +++ b/src/boot/driver/session.ml @@ -13,6 +13,7 @@ type sess = mutable sess_out: filename option; mutable sess_library_mode: bool; mutable sess_alt_backend: bool; + mutable sess_minimal: bool; mutable sess_use_pexps: bool; mutable sess_targ: target; mutable sess_log_lex: bool; -- cgit v1.2.3