On Monday, 4 May 2015 at 19:24:57 UTC, Walter Bright wrote:
On 5/4/2015 6:06 AM, Andrea Fontana wrote:Can be -profile and -profile=gc mixed together?Yes, and you'll get two reports.
So I think they should be called -profile and -profile-gc.Or at least -profile=code -profile=gc (but i guess there's a problem with retro-compatibility)
Andrea