Configure options not in waf

Joel Sherrill joel at
Fri Sep 25 15:39:42 UTC 2020


There may be more but so far, the generated default config.ini does not
appear to have settings which correspond to --enable-profiling or

What is the way to manage these settings in waf?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the devel mailing list