From 5ceaf345ed8d70b444907b09e61c1b347dad436c Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 12 May 2011 15:42:12 -0700
Subject: Add stats option and lazily emit glue.

---
 src/comp/driver/session.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/comp/driver/session.rs')

diff --git a/src/comp/driver/session.rs b/src/comp/driver/session.rs
index 78b14899..12129a93 100644
--- a/src/comp/driver/session.rs
+++ b/src/comp/driver/session.rs
@@ -31,6 +31,7 @@ type options = rec(bool shared,
                    bool verify,
                    bool run_typestate,
                    bool save_temps,
+                   bool stats,
                    bool time_passes,
                    bool time_llvm_passes,
                    back::Link::output_type output_type,
-- 
cgit v1.2.3