aboutsummaryrefslogtreecommitdiff
path: root/src/boot/driver/session.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-10-05 18:10:33 -0700
committerGraydon Hoare <[email protected]>2010-10-05 18:10:33 -0700
commit4168c1dcdaf4cdde860633ea95e0d92d8e116128 (patch)
tree345470fe68145656010995ad0e23970928f48912 /src/boot/driver/session.ml
parentBetter backpointer logic. (diff)
downloadrust-4168c1dcdaf4cdde860633ea95e0d92d8e116128.tar.xz
rust-4168c1dcdaf4cdde860633ea95e0d92d8e116128.zip
Add -lpasses for logging just the progress of passes.
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 06fcacb2..ae16c139 100644
--- a/src/boot/driver/session.ml
+++ b/src/boot/driver/session.ml
@@ -18,6 +18,7 @@ type sess =
mutable sess_log_lex: bool;
mutable sess_log_parse: bool;
mutable sess_log_ast: bool;
+ mutable sess_log_passes: bool;
mutable sess_log_resolve: bool;
mutable sess_log_type: bool;
mutable sess_log_simplify: bool;