From 3b90da94dcf6b79f8a6fc0dbe6f3225ef9d34c9e Mon Sep 17 00:00:00 2001 From: Tim Newsome Date: Sun, 19 Jun 2016 13:31:51 -0700 Subject: [PATCH] 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