28 Feb
2018
28 Feb
'18
3:02 p.m.
On 2018-02-27 09:55 PM, Brandon Allbery wrote:
-fext-core wasn't about exporting it, but about accepting core as *source* ("external core"). Which was always tricky and was broken for years before the option was removed.
Thanks. I see I should have been using `-ddump-simpl` instead.