Mercurial > urweb

comparison src/main.mlton.sml @ 1178:6373a0432338

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-verbose
author Adam Chlipala <adamc@hcoop.net>
date Thu, 04 Mar 2010 14:20:26 -0500
parents 52c6ac6a59f1
children a7b773f1d053
comparison
equal deleted inserted replaced
1177:26fed2c4f5be 1178:6373a0432338
52 | "-dbms" :: name :: rest => 52 | "-dbms" :: name :: rest =>
53 (Settings.setDbms name; 53 (Settings.setDbms name;
54 doArgs rest) 54 doArgs rest)
55 | "-debug" :: rest => 55 | "-debug" :: rest =>
56 (Settings.setDebug true; 56 (Settings.setDebug true;
57 doArgs rest)
58 | "-verbose" :: rest =>
59 (Compiler.debug := true;
57 doArgs rest) 60 doArgs rest)
58 | "-timing" :: rest => 61 | "-timing" :: rest =>
59 (timing := true; 62 (timing := true;
60 doArgs rest) 63 doArgs rest)
61 | "-tc" :: rest => 64 | "-tc" :: rest =>