diff options
| author |  Sergey Mironov <grrwlf@gmail.com> | 2013-09-18 15:45:18 +0400 |
|---|---|---|
| committer | Sergey Mironov <grrwlf@gmail.com> | 2013-09-18 15:45:18 +0400 |
| commit | 774af1179ef64496a266af9f6f018d5ed234488f (patch) | |
| tree | df41ece35df2626f6ace9e327a38e452994d8104 /src | |
| parent | 02deb1923a33e697938c7e7f8da2228259f6b620 (diff) | |
Add -print-ccompiler command line option
Diffstat (limited to 'src')
| -rw-r--r-- | src/main.mlton.sml | 4 |
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) |