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