From 3b90da94dcf6b79f8a6fc0dbe6f3225ef9d34c9e Mon Sep 17 00:00:00 2001
From: Tim Newsome <tim@sifive.com>
Date: Sun, 19 Jun 2016 13:31:51 -0700
Subject: [PATCH 1/1] Write command to logfile.

---
 debug/testlib.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debug/testlib.py b/debug/testlib.py
index e749a1a..0e5f35d 100644
--- a/debug/testlib.py
+++ b/debug/testlib.py
@@ -89,6 +89,7 @@ class Openocd(object):
         if debug:
             cmd.append("-d")
         logfile = open("openocd.log", "w")
+        logfile.write("+ %s\n" % " ".join(cmd))
         self.process = subprocess.Popen(cmd, stdin=subprocess.PIPE, stdout=logfile,
                 stderr=logfile)
         # TODO: Pick a random port
@@ -106,6 +107,7 @@ class Gdb(object):
             path=os.path.expandvars("$RISCV/bin/riscv64-unknown-elf-gdb")):
         self.child = pexpect.spawn(path)
         self.child.logfile = file("gdb.log", "w")
+        self.child.logfile.write("+ %s\n" % path)
         self.wait()
         self.command("set confirm off")
         self.command("set width 0")
-- 
2.30.2