Write full buffer

Retry writing after a short write.

1 files changed, 1 insertions, 1 deletions

diff --git a/CRT.c b/CRT.c
index 95f8cc13..c8935add 100644
--- a/CRT.c
+++ b/CRT.c
@@ -834,7 +834,7 @@ static void dumpStderr(void) {
             fprintf(stderr, ">>>>>>>>>> stderr output >>>>>>>>>>\n");
             header = true;
          }
-         (void)! write(STDERR_FILENO, buffer, res);
+         full_write(STDERR_FILENO, buffer, res);
       }
    }