# HG changeset patch
# User Sergey Mironov <grrwlf@gmail.com>
# Date 1379504718 -14400
# Node ID 6507e973af84ac542e7bd7d7d44526847bdddc61
# Parent  c3119c263bd37497175d6b624ca4b9a7eebcf094
Add -print-ccompiler command line option

diff -r c3119c263bd3 -r 6507e973af84 src/main.mlton.sml
--- a/src/main.mlton.sml	Tue Aug 20 17:13:50 2013 +0400
+++ b/src/main.mlton.sml	Wed Sep 18 15:45:18 2013 +0400
@@ -56,6 +56,8 @@
 		               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 @@
               | "-css" :: rest =>
                 (css := true;
                  doArgs rest)
+              | "-print-ccompiler" :: rest =>
+                  printCCompiler ()
               | "-ccompiler" :: ccomp :: rest =>
                 (Settings.setCCompiler ccomp;
                  doArgs rest)