diff configure @ 24:b416b9b9dc38

Remove garbage configure message about GCCARGS
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Jan 2011 16:07:24 -0500
parents c230e6da3ff6
children ba203b170476
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