summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/main.mlton.sml4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 91bbdc0c..d176efcc 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -56,6 +56,8 @@ fun oneRun args =
raise Code OS.Process.success)
fun printNumericVersion () = (print (Config.versionNumber ^ "\n");
raise Code OS.Process.success)
+ fun printCCompiler () = (print ((Settings.getCCompiler ()) ^ "\n");
+ raise Code OS.Process.success)
fun doArgs args =
case args of
@@ -67,6 +69,8 @@ fun oneRun args =
| "-css" :: rest =>
(css := true;
doArgs rest)
+ | "-print-ccompiler" :: rest =>
+ printCCompiler ()
| "-ccompiler" :: ccomp :: rest =>
(Settings.setCCompiler ccomp;
doArgs rest)