diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-05-22 14:43:26 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-05-22 14:45:54 -0700 |
| commit | 14a06183d92a62aeae7d8c498f3af66579a9b865 (patch) | |
| tree | 2d28fa72a26fcfcb59d6fcae4476c250685d601b /003trace.cc | |
| parent | 401b4b18ea76e2d6c7a638f9b3499adf0c571de9 (diff) | |
| download | mu-14a06183d92a62aeae7d8c498f3af66579a9b865.tar.gz | |
mu.subx: 6 failing tests remaining
Diffstat (limited to '003trace.cc')
| -rw-r--r-- | 003trace.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/003trace.cc b/003trace.cc index 08f58546..75dc0253 100644 --- a/003trace.cc +++ b/003trace.cc @@ -456,6 +456,7 @@ else if (is_equal(*arg, "--trace")) { :(before "End trace Commit") if (Trace_file.is_open()) { dump_trace_line(Trace_file, t); + Trace_file.flush(); past_lines.pop_back(); // economize on memory } :(before "End One-time Setup") |