From 8625859773bbcdd7d475ea76fef5750a41338fd0 Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Tue, 8 Apr 2008 15:12:24 +0000
Subject: [PATCH] Flush output when the C backend exits. This makes "someprog |
 cat" work -- previously the output never got written. The C++ support code
 already does this.

---
 support/tock_support_cif.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/support/tock_support_cif.h b/support/tock_support_cif.h
index afd0913..363b00d 100644
--- a/support/tock_support_cif.h
+++ b/support/tock_support_cif.h
@@ -105,6 +105,7 @@ static void tock_tlp_output (Workspace wptr) {
 			case 1: {
 				bool b;
 				ChanIn (wptr, kill, &b, sizeof b);
+				fflush (out);
 
 				return;
 			}