STYLE: adjust log name for 'Allwmake -log' (issue #333)
- now defaults to 'log.$WM_OPTIONS' (eg, log.linux64GccDPInt32Opt) for more clarity and fewer potential name clashes when building multiple versions.
Please register or sign in to comment
Site will likely be offline for maintenance 27/28 March - more details soon
- now defaults to 'log.$WM_OPTIONS' (eg, log.linux64GccDPInt32Opt) for more clarity and fewer potential name clashes when building multiple versions.