diff options
| author | Graydon Hoare <[email protected]> | 2010-10-05 18:10:33 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-10-05 18:10:33 -0700 |
| commit | 4168c1dcdaf4cdde860633ea95e0d92d8e116128 (patch) | |
| tree | 345470fe68145656010995ad0e23970928f48912 /src/boot/driver | |
| parent | Better backpointer logic. (diff) | |
| download | rust-4168c1dcdaf4cdde860633ea95e0d92d8e116128.tar.xz rust-4168c1dcdaf4cdde860633ea95e0d92d8e116128.zip | |
Add -lpasses for logging just the progress of passes.
Diffstat (limited to 'src/boot/driver')
| -rw-r--r-- | src/boot/driver/main.ml | 3 | ||||
| -rw-r--r-- | src/boot/driver/session.ml | 1 |
2 files changed, 4 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) 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; |