Hi Larry,
You wrote that profile is an option, not a setting. So you
might need to add this option not only in your target section,
but also on all libraries it uses.
--
Eric Bezault
mailto:
er...@gobosoft.com
http://www.gobosoft.com
> main · ljr1981/claude_eiffel_op_docs <
https://github.com/ljr1981/
> claude_eiffel_op_docs/blob/main/profiler.md>
>