From bf22e4938d4cb8164d112ab9beb784b44c96422a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 28 Oct 2008 15:05:16 -0400
Subject: GCCARGS configure option

---
 src/config.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/config.sig')

diff --git a/src/config.sig b/src/config.sig
index 890bd9ab..6075482e 100644
--- a/src/config.sig
+++ b/src/config.sig
@@ -6,4 +6,6 @@ signature CONFIG = sig
 
     val libUr : string
     val libC : string
+
+    val gccArgs : string
 end
-- 
cgit v1.2.3