Le 01/12/2025 à 16:44, Jean-Marc Lasgouttes a écrit :
commit 74ca114b45d5cc2493004cff370361d839c78419
Author: Jean-Marc Lasgouttes <[email protected]>
Date: Mon Dec 1 16:43:20 2025 +0100
Fixup 623cc13b: use -O2 when profiling
Riki, this is candidate for 2.5.x.
---
config/lyxinclude.m4 | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/config/lyxinclude.m4 b/config/lyxinclude.m4
index 251731fafc..0d5fc59fa2 100644
--- a/config/lyxinclude.m4
+++ b/config/lyxinclude.m4
@@ -277,7 +277,7 @@ AC_ARG_ENABLE(optimization,
enable_optimization=yes;)
case $enable_optimization in
yes)
- if test $enable_debug = yes ; then
+ if test $enable_debug = yes -a $build_type != "profiling" ; then
lyx_optim=-Og
else
lyx_optim=-O2
--
lyx-devel mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-devel
