From 910a807fbc41d1dced247a05c547fd3e255fd115 Mon Sep 17 00:00:00 2001
From: Curtis F Kaylor <revcurtis@gmail.com>
Date: Sun, 23 Feb 2020 14:23:35 -0500
Subject: [PATCH] Added flush of stdout and stderr when exiting with an error

---
 src/common.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/common.c b/src/common.c
index 887be07..8eb4d07 100644
--- a/src/common.c
+++ b/src/common.c
@@ -12,6 +12,7 @@
 /* Error - Print Input File name & position and exit */
 void exterr(int errnum) {
   fprintf(stderr, "Line %d Column %d of File %s\n", curlin, curcol, inpnam);
+  fflush(stdout); fflush(stderr);
   exit(errnum);
 }