does dmd --build=profile-gc work with core.stdc.stdlib.exit()?

[mw]

On Sunday, 13 November 2022 at 18:51:17 UTC, mw wrote:
> On Sunday, 13 November 2022 at 18:48:42 UTC, mw wrote:
>> BTW, can --build=profile-gc can intercept "Ctrl+C" and 
>> generate *partial* report file?
>>
>> And what's the suggested proper way to do early exit, and 
>> still let --build=profile-gc generate reports?
>
> I tried presss "Ctrl+C", and that cannot stop the program, it 
> just hangs there.
>
> I have to `kill -9 <pid>` it to get it stopped.

My build command is:
```
/dmd2/linux/bin64/dub build --build=profile-gc --config=... 
--compiler=dmd
```