core: Fix flush for _POSIX_SOURCE.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sat, 1 Apr 2017 18:25:03 +0000 (20:25 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sat, 1 Apr 2017 18:25:03 +0000 (20:25 +0200)
commit2209b5728d5f2e371ab887ba6f9f3e3a08908794
treeba1d21044539a417caf88037fb458ff393913f7f
parent3f60c2ec954c63ca14bf6dcbe7cf364df4c1c1c0
core: Fix flush for _POSIX_SOURCE.

* posix.c (write_byte, force_output)[_POSIX_SOURCE]: Use FILE*
  functions.  Fixes repl.mes.
posix.c