From e777ce0c3ebe1fd07c0abdac3be30ceca45132c4 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Mon, 6 Mar 2017 09:13:44 -0800
Subject: 3758

---
 020run.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to '020run.cc')

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();
-- 
cgit 1.4.1-2-gfad0