Dump addr2line command before running it.

diff --git a/src/lib/util.cc b/src/lib/util.cc
index 930cc353da3a20b300f794e6e60bb5087ef2a9ab..01a7f0248d603f4cb1d44c0661b57bca9a78828f 100644 (file)
--- a/src/lib/util.cc
+++ b/src/lib/util.cc
@@ -243,6 +243,7 @@ addr2line (void const * const addr)
 {
        char addr2line_cmd[512] = { 0 };
        sprintf (addr2line_cmd, "addr2line -f -p -e %.256s %p > %s", program_name.c_str(), addr, backtrace_file.string().c_str());
+       std::cout << addr2line_cmd << "\n";
        return system(addr2line_cmd);
 }