From 99a3c3c37b082dfcdc1ae646ff982ecca4b496d4 Mon Sep 17 00:00:00 2001 From: Evan Hunt Date: Wed, 2 Dec 2015 14:02:53 -0800 Subject: [PATCH] [master] mention --enable-full-report in config summary output --- configure | 4 ++++ configure.in | 4 ++++ 2 files changed, 8 insertions(+) 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