On 26/06/16 22:42, Jonas Baggett wrote:
Done. Just in case, I also moved my changes to a new branch called unbuffered in my repo.
Jonas,this is almost perfect. But you can also remove __ghdl_disable_stream_buffering and call directly setbuf from
grt-files.adb, that would make the code slightl shorter. Do not hesitate to do a pull request. Thanks, Tristan. _______________________________________________ Ghdl-discuss mailing list Ghdl-discuss@gna.org https://mail.gna.org/listinfo/ghdl-discuss
