diff src/config.sig @ 435:f7b25375c0cf

GCCARGS configure option
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Oct 2008 15:05:16 -0400
parents 168667cdaa95
children 162d5308e34f
line wrap: on
line diff
--- a/src/config.sig	Mon Oct 27 08:27:45 2008 -0400
+++ b/src/config.sig	Tue Oct 28 15:05:16 2008 -0400
@@ -6,4 +6,6 @@
 
     val libUr : string
     val libC : string
+
+    val gccArgs : string
 end