changeset 24:b416b9b9dc38

Remove garbage configure message about GCCARGS
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Jan 2011 16:07:24 -0500
parents e5df3d3554d3
children c560ec5bf514
files configure configure.ac
diffstat 2 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Sun Jan 16 13:21:34 2011 -0500
+++ b/configure	Mon Jan 17 16:07:24 2011 -0500
@@ -18210,5 +18210,4 @@
 Ur/Web OpenID library configuration:
   lib directory:       LIB            $LIB
   include directory:   INCLUDE        $INCLUDE
-  Extra GCC args:      GCCARGS        $GCCARGS
 EOF
--- a/configure.ac	Sun Jan 16 13:21:34 2011 -0500
+++ b/configure.ac	Mon Jan 17 16:07:24 2011 -0500
@@ -40,5 +40,4 @@
 Ur/Web OpenID library configuration:
   lib directory:       LIB            $LIB
   include directory:   INCLUDE        $INCLUDE
-  Extra GCC args:      GCCARGS        $GCCARGS  
 EOF