diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-03-06 09:13:44 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-03-06 09:13:44 -0800 |
commit | e777ce0c3ebe1fd07c0abdac3be30ceca45132c4 (patch) | |
tree | 1b1f4f27426fa7413951a82182fe9c1c9d99d07c /020run.cc | |
parent | 1d2d6cf5544ce260203d6ad2c52e7b41b9471e42 (diff) | |
download | mu-e777ce0c3ebe1fd07c0abdac3be30ceca45132c4.tar.gz |
3758
Diffstat (limited to '020run.cc')
-rw-r--r-- | 020run.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/020run.cc b/020run.cc index 588b406e..0476d753 100644 --- a/020run.cc +++ b/020run.cc @@ -237,6 +237,7 @@ void dump_profile() { :(code) void cleanup_main() { if (Save_trace && Trace_stream) { + cerr << "writing trace to 'last_run'\n"; ofstream fout("last_run"); fout << Trace_stream->readable_contents(""); fout.close(); |