From a0e7f934148e35ce309ce998028e21f6df66e5cf Mon Sep 17 00:00:00 2001 From: Eli Schwartz Date: Mon, 11 Apr 2022 18:40:54 -0400 Subject: compilers: fix broken CompCert support for release flags This has been broken ever since the original implementation. Due to a typo, the optimization flag used a zero instead of an uppercase "o", which the compiler then breaks on during argument parsing because it is an invalid argument. Fixes #10267 --- mesonbuild/compilers/mixins/compcert.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mesonbuild/compilers/mixins/compcert.py b/mesonbuild/compilers/mixins/compcert.py index 283c043..5e2ba0d 100644 --- a/mesonbuild/compilers/mixins/compcert.py +++ b/mesonbuild/compilers/mixins/compcert.py @@ -32,7 +32,7 @@ ccomp_buildtype_args = { 'plain': [''], 'debug': ['-O0', '-g'], 'debugoptimized': ['-O0', '-g'], - 'release': ['-03'], + 'release': ['-O3'], 'minsize': ['-Os'], 'custom': ['-Obranchless'], } # type: T.Dict[str, T.List[str]] -- cgit v1.1