Merge "Additional attempts to flosh stdout/stderr"

2014-03-14 14:33:22 +00:00 · 2014-03-14 14:33:22 +00:00 · bcc885d88d
commit bcc885d88d
parent 509140e25c 1a0c090057
1 changed files with 1 additions and 0 deletions
--- a/stack.sh
+++ b/stack.sh
@ -541,6 +541,7 @@ if [[ -n "$LOGFILE" ]]; then
                    print
                    print > logfile
                    fflush("")
+                    fflush(logfile)
                }' ) 2>&1
        # Set up a second fd for output
        exec 6> >( tee "${SUMFILE}" )