From 662f2447e3bcd2f393f2b89f3d703479aa9cb90c Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Tue, 27 Aug 2013 16:13:34 -0700
Subject: [PATCH] Flush log file output to avoid slow buffering

---
 util/vm/build.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/util/vm/build.py b/util/vm/build.py
index 7a22c13..d3ed1aa 100755
--- a/util/vm/build.py
+++ b/util/vm/build.py
@@ -71,6 +71,7 @@ isoURLs = {
     'ubuntu-13.10-server-amd64.iso',
 }
 
+
 LogStartTime = time()
 LogFile = None
 
@@ -91,6 +92,7 @@ def log( *args, **kwargs ):
         if cr:
             output += '\n'
         LogFile.write( output )
+        LogFile.flush()
 
 
 def run( cmd, **kwargs ):