aboutsummaryrefslogtreecommitdiff
path: root/src/boot/driver/session.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-10-05 18:44:39 -0700
committerGraydon Hoare <[email protected]>2010-10-05 18:44:39 -0700
commit8ecbe49a8fa8b4bb17c2d798d5de6fc0303c5bc6 (patch)
tree11c52a82f424b8782e7dd13e7965e580dbf01c5d /src/boot/driver/session.ml
parentAdd input coordinate tracking to all major rustc ast nodes. (diff)
downloadrust-8ecbe49a8fa8b4bb17c2d798d5de6fc0303c5bc6.tar.xz
rust-8ecbe49a8fa8b4bb17c2d798d5de6fc0303c5bc6.zip
Add -minimal mode to rustboot that skips emitting code that's broken or unneeded for rustc. Shrink rustc by 300kb. Back under 1mb.
Diffstat (limited to 'src/boot/driver/session.ml')
-rw-r--r--src/boot/driver/session.ml1
1 files changed, 1 insertions, 0 deletions
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;