diff --git a/configure b/configure index a683b8d1a0..b6f590a5aa 100755 --- 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 eaf9411cee..3fcdcd9bde 100644 --- 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