commit 1a0c090057dde13fd3bb8ffcb84a923eb5952084
author Dean Troyer <dtroyer@gmail.com> Wed Mar 12 14:59:50 2014 -0500
committer Dean Troyer <dtroyer@gmail.com> Wed Mar 12 14:59:53 2014 -0500
tree 69a655288ef1d843c830713119d0d32d0307d7fe
parent c0dea9789b1d6133624444b99b9c9e6b7c09714f

Additional attempts to flosh stdout/stderr

The logfile output is piped through awk to apply a timestamp
and filter out all of the xtrace commands in the xtrace output.

A while back we added fflush("") which is supposed to flush all
open output files and pipes. It appears that gawk in precise
is old enough that it may only flush stdout, so explicitly
flush the logfile handle.

Change-Id: If5198c2da2a3278eed8ae3d50c7ca5c15eac6d94

stack.sh

diff --git a/stack.sh b/stack.sh
index e76a55c..a160464 100755
--- a/stack.sh
+++ b/stack.sh
@@ -541,6 +541,7 @@
                     print
                     print > logfile
                     fflush("")
+                    fflush(logfile)
                 }' ) 2>&1
         # Set up a second fd for output
         exec 6> >( tee "${SUMFILE}" )