Mercurial > urweb
changeset 1178:6373a0432338
-verbose
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 04 Mar 2010 14:20:26 -0500 |
| parents | 26fed2c4f5be |
| children | c58453683bbb |
| files | src/main.mlton.sml |
| diffstat | 1 files changed, 3 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/src/main.mlton.sml Thu Mar 04 13:47:16 2010 -0500 +++ b/src/main.mlton.sml Thu Mar 04 14:20:26 2010 -0500 @@ -55,6 +55,9 @@ | "-debug" :: rest => (Settings.setDebug true; doArgs rest) + | "-verbose" :: rest => + (Compiler.debug := true; + doArgs rest) | "-timing" :: rest => (timing := true; doArgs rest)