From e0f5b40bb999cf78e9ad479d8004cf00ed7b3059 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