- now defaults to 'log.$WM_OPTIONS' (eg, log.linux64GccDPInt32Opt) for more clarity and fewer potential name clashes when building multiple versions.
- now defaults to 'log.$WM_OPTIONS' (eg, log.linux64GccDPInt32Opt) for more clarity and fewer potential name clashes when building multiple versions.