Index: configure
===================================================================
--- configure	(revision 3b7728921d8d801c10ec7481d0d72e3cecaf2f0d)
+++ configure	(revision 3848e0e8736f68e720b8e97d4e893bb0bb0aca6b)
@@ -6473,6 +6473,2 @@
 { $as_echo "$as_me:${as_lineno-$LINENO}: result: The CForAll translator is now configured for your system" >&5
 $as_echo "The CForAll translator is now configured for your system" >&6; }
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: " >&5
-$as_echo "" >&6; }
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: Perhaps you'd like to inspect the created Makefiles" >&5
-$as_echo "Perhaps you'd like to inspect the created Makefiles" >&6; }