
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <div class="moz-cite-prefix">On 2018-02-27 09:55 PM, Brandon Allbery

      wrote:<br>

    </div>

    <blockquote type="cite"

cite="mid:CAKFCL4Vpm2LQthnSC+2nJRSqz=zuGRf03ULbM7o_0Q-2SSP_7g@mail.gmail.com">

      <div dir="ltr">-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.</div>

      <div class="gmail_extra"><br>

      </div>

    </blockquote>

    <br>

    Thanks. I see I should have been using `-ddump-simpl` instead.<br>

  </body>

</html>