-
Simon Marlow authored
Remove final fflush() - it seems to be incompatible with recent releases of Linux's libc implementation, and we don't use stdio in any case.
803331a0
Remove final fflush() - it seems to be incompatible with recent releases of Linux's libc implementation, and we don't use stdio in any case.