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

Reply via email to