[master] mention --enable-full-report in config summary output

diff --git a/configure b/configure
index a683b8d1a0f65272cc699ce80c01f0be11bd16be..b6f590a5aa8bb4e00e77ec498e47ff9c9da04802 100755 (executable)
--- a/configure
+++ b/configure
@@ -25033,6 +25033,10 @@ if test "X$ac_unrecognized_opts" != "X"; then
     echo "Unrecognized options:"
     echo "    $ac_unrecognized_opts"
 fi
+if test "$enable_full_report" != "yes"; then
+    echo "------------------------------------------------------------------------"
+    echo "For more detail, use --enable-full-report."
+fi
 echo "========================================================================"
 
 if test "X$CRYPTO" = "X"; then

diff --git a/configure.in b/configure.in
index eaf9411ceea05fe73bbab58d5b6531c5d16eb4a1..3fcdcd9bde473b5be0b17415bb8dc209f6a20cd8 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -5027,6 +5027,10 @@ if test "X$ac_unrecognized_opts" != "X"; then
     echo "Unrecognized options:"
     echo "    $ac_unrecognized_opts"
 fi
+if test "$enable_full_report" != "yes"; then
+    echo "------------------------------------------------------------------------"
+    echo "For more detail, use --enable-full-report."
+fi
 echo "========================================================================"
 
 if test "X$CRYPTO" = "X"; then