summaryrefslogtreecommitdiff
path: root/src/main.mlton.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/main.mlton.sml')
-rw-r--r--src/main.mlton.sml3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index c6ca61c9..f4f74be2 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -82,6 +82,9 @@ fun doArgs args =
| "-sigfile" :: name :: rest =>
(Settings.setSigFile (SOME name);
doArgs rest)
+ | "-iflow" :: rest =>
+ (Compiler.doIflow := true;
+ doArgs rest)
| arg :: rest =>
(if size arg > 0 andalso String.sub (arg, 0) = #"-" then
raise Fail ("Unknown flag " ^ arg)