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.sml.in | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/config.sml.in')

diff --git a/src/config.sml.in b/src/config.sml.in
index d1eb5025..9e53986b 100644
--- a/src/config.sml.in
+++ b/src/config.sml.in
@@ -10,4 +10,6 @@ val libUr = OS.Path.joinDirFile {dir = lib,
 val libC = OS.Path.joinDirFile {dir = lib,
                                 file = "c"}
 
+val gccArgs = "@GCCARGS@"
+
 end
-- 
cgit v1.2.3