On 23/06/16 07:43, Jonas Baggett wrote:
Hi Tristan,

I if understand well, what needs to be done is to add the possibility
that each write to either the console or a file can be unbuffered, right
? Or maybe writes to the console is already unbuffered. This feature can
be done with the the C function fflush which is already imported in
grt-stdio.ads and then call it at the end of the Put procedures in
grt-astdio.adb, right ?

I would simply call setvbuf() (or setbuf) on stdout/stderr and after fopen. That would be slightly more efficient.

Tristan.


_______________________________________________
Ghdl-discuss mailing list
Ghdl-discuss@gna.org
https://mail.gna.org/listinfo/ghdl-discuss

Reply via email to