diff src/config.sml.in @ 1523:52fbd8534ef3

Remove some GCC-specific identifier choice and documentation
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 14:45:19 -0400
parents b5517f47b1f1
children 7770ef82c463
line wrap: on
line diff
--- a/src/config.sml.in	Tue Aug 02 14:31:37 2011 -0400
+++ b/src/config.sml.in	Tue Aug 02 14:45:19 2011 -0400
@@ -13,7 +13,7 @@
                                  file = "js"}
 
 val ccompiler = "@CC@"
-val gccArgs = "@GCCARGS@"
+val ccArgs = "@CCARGS@"
 val openssl = "@OPENSSL_LDFLAGS@ @OPENSSL_LIBS@"
 
 val pgheader = "@PGHEADER@"