From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 30 May 2006 20:18:24 +0000 (+0000)
Subject: When using -k, make sure to flush all of the subprocess's output to
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=94e3568f3303b757f9e4133524b647163792662d;hp=94e3568f3303b757f9e4133524b647163792662d;p=pintos-anon

When using -k, make sure to flush all of the subprocess's output to
stdout, even after the subprocess has died.
---