------- Comment #21 from developer at sandoe-acoustics dot co dot uk 2010-04-02 21:31 ------- (In reply to comment #20)
> I'm looking into those -- but would really welcome input from people who know > more about emutls. for example, is this really something that should be handled in some way from emutls_finish()? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43553