# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1295298444 18000
# Node ID b416b9b9dc3808e225bb482afff8110df48990e9
# Parent  e5df3d3554d3cf457979a6694bda0da28093560d
Remove garbage configure message about GCCARGS

diff -r e5df3d3554d3 -r b416b9b9dc38 configure
--- 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
diff -r e5df3d3554d3 -r b416b9b9dc38 configure.ac
--- 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