Minor tweaks to trigger tests for openocd.

[riscv-tests.git] / debug / testlib.py

diff --git a/debug/testlib.py b/debug/testlib.py
index 0e504d1a7d0fc85a7a270c092936781488b25f9c..987d71e511e0c11549c820fc81537d4b39123e47 100644 (file)
--- a/debug/testlib.py
+++ b/debug/testlib.py
@@ -130,6 +130,7 @@ class Openocd(object):
             cmd.append("-d")
         logfile = open(Openocd.logname, "w")
         logfile.write("+ %s\n" % " ".join(cmd))
+        logfile.flush()
         self.process = subprocess.Popen(cmd, stdin=subprocess.PIPE,
                 stdout=logfile, stderr=logfile)
         # TODO: Pick a random port