tree 69a655288ef1d843c830713119d0d32d0307d7fe
parent c0dea9789b1d6133624444b99b9c9e6b7c09714f
author Dean Troyer <dtroyer@gmail.com> 1394654390 -0500
committer Dean Troyer <dtroyer@gmail.com> 1394654393 -0500

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