Write command to logfile.
authorTim Newsome <tim@sifive.com>
Sun, 19 Jun 2016 20:31:51 +0000 (13:31 -0700)
committerTim Newsome <tim@sifive.com>
Tue, 19 Jul 2016 01:51:54 +0000 (18:51 -0700)
debug/testlib.py

index e749a1a7919bbf2827559e098fc187657ee7aa69..0e5f35dd9a8c0b6b0d92ab45dedbbfc5a42b7805 100644 (file)
@@ -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")