aboutsummaryrefslogtreecommitdiff
path: root/src/boot/driver/main.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/main.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/main.ml')
-rw-r--r--src/boot/driver/main.ml3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml
index b46963b2..3c37a032 100644
--- a/src/boot/driver/main.ml
+++ b/src/boot/driver/main.ml
@@ -32,6 +32,7 @@ let (sess:Session.sess) =
Session.sess_log_lex = false;
Session.sess_log_parse = false;
Session.sess_log_ast = false;
+ Session.sess_log_passes = false;
Session.sess_log_resolve = false;
Session.sess_log_type = false;
Session.sess_log_simplify = false;
@@ -162,6 +163,8 @@ let argspecs =
"-lparse" "log parsing");
(flag (fun _ -> sess.Session.sess_log_ast <- true)
"-last" "log AST");
+ (flag (fun _ -> sess.Session.sess_log_passes <- true)
+ "-lpasses" "log passes at high-level");
(flag (fun _ -> sess.Session.sess_log_resolve <- true)
"-lresolve" "log resolution");
(flag (fun _ -> sess.Session.sess_log_type <- true)