From 72c6db18633cee0ad2c2ee07cd6af727758c06b2 Mon Sep 17 00:00:00 2001 From: Giovanni La Mura Date: Wed, 2 Jul 2025 12:49:00 +0200 Subject: [PATCH] Add optimization level message to configure.log --- build/configure.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build/configure.sh b/build/configure.sh index 6e9ff352..96ef0a80 100755 --- a/build/configure.sh +++ b/build/configure.sh @@ -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 -- GitLab