diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 8e9a0c3..3fcd376 100644 --- a/configure.ac +++ b/configure.ac @@ -517,9 +517,7 @@ if test "x${build_doc}" = "xyes" ; then echo " Building...........: make doc" fi echo " Examples.............: ${build_examples}" -if test "x${build_examples}" = "xyes" ; then - echo " Install............: ${install_examples}" -fi +echo " Examples installed...: ${install_examples}" echo echo "Compilation............: make (or gmake)" echo " CPPFLAGS.............: $CPPFLAGS" |