diff configure @ 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 b5d78407886d
line wrap: on
line diff
--- a/configure	Tue Aug 02 14:31:37 2011 -0400
+++ b/configure	Tue Aug 02 14:45:19 2011 -0400
@@ -615,7 +615,7 @@
 SQHEADER
 MSHEADER
 PGHEADER
-GCCARGS
+CCARGS
 SITELISP
 INCLUDE
 LIB
@@ -14578,7 +14578,7 @@
   include directory:   INCLUDE        $INCLUDE
   site-lisp directory: SITELISP       $SITELISP
   C compiler:          CC             $CC
-  Extra GCC args:      GCCARGS        $GCCARGS
+  Extra CC args:       CCARGS         $CCARGS
   Postgres C header:   PGHEADER       $PGHEADER
   MySQL C header:      MSHEADER       $MSHEADER
   SQLite C header:     SQHEADER       $SQHEADER