Commit 72c6db18 authored by Giovanni La Mura's avatar Giovanni La Mura
Browse files

Add optimization level message to configure.log

parent 844c9bb9

build/configure.sh

+1 −0
Original line number Diff line number Diff line
@@ -912,6 +912,7 @@ fi 


# Print a summary of configuration options

echo "INFO: optimization level is ${CXX_OPT}."

echo "INFO: optimization level is ${CXX_OPT}." >> configure.log

if [ "x${CXX_DBG}" = "x" ]; then

    echo "INFO: gdb is disabled."

    echo "INFO: gdb is disabled." >> configure.log