Ok, I made the changes you suggested and did a pull request.
Jonas
Le 27. 06. 16 à 20:04, Tristan Gingold a écrit :
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
_______________________________________________
Ghdl-discuss mailing list
Ghdl-discuss@gna.org
https://mail.gna.org/listinfo/ghdl-discuss
