From 02deb1923a33e697938c7e7f8da2228259f6b620 Mon Sep 17 00:00:00 2001
From: Sergey Mironov <grrwlf@gmail.com>
Date: Tue, 20 Aug 2013 17:13:50 +0400
Subject: Add -ccompiler command line argument

This allows user to overwrite the compiler set during the configure phase
---
 src/settings.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index 453ba486..7675b9c8 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -256,4 +256,7 @@ signature SETTINGS = sig
 
     val setTimeFormat : string -> unit
     val getTimeFormat : unit -> string
+
+	val getCCompiler : unit -> string
+	val setCCompiler : string -> unit
 end
-- 
cgit v1.2.3