From ee35f5d31e88ef2f1427c8aa9d9b059959ca4c12 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 4 Mar 2010 14:20:26 -0500
Subject: -verbose

---
 src/main.mlton.sml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/main.mlton.sml')

diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 5676cd9c..c6ca61c9 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -55,6 +55,9 @@ fun doArgs args =
       | "-debug" :: rest =>
         (Settings.setDebug true;
          doArgs rest)
+      | "-verbose" :: rest =>
+        (Compiler.debug := true;
+         doArgs rest)
       | "-timing" :: rest =>
         (timing := true;
          doArgs rest)
-- 
cgit v1.2.3