diff src/c/Makefile.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 9cb923efea4d
children 7770ef82c463
line wrap: on
line diff
--- a/src/c/Makefile.in	Tue Aug 02 14:31:37 2011 -0400
+++ b/src/c/Makefile.in	Tue Aug 02 14:45:19 2011 -0400
@@ -117,6 +117,7 @@
 AWK = @AWK@
 BIN = @BIN@
 CC = @CC@
+CCARGS = @CCARGS@
 CCDEPMODE = @CCDEPMODE@
 CFLAGS = @CFLAGS@
 CPP = @CPP@
@@ -133,7 +134,6 @@
 EGREP = @EGREP@
 EXEEXT = @EXEEXT@
 FGREP = @FGREP@
-GCCARGS = @GCCARGS@
 GREP = @GREP@
 INCLUDE = @INCLUDE@
 INSTALL = @INSTALL@