Add reproduce line to the end of debug test logs

diff --git a/debug/testlib.py b/debug/testlib.py
index 2fd978cc283f5dbc502c32cdb96efb82302d33da..77795c65c9c889b382a40ec425df65e9deb80a5c 100644 (file)
--- a/debug/testlib.py
+++ b/debug/testlib.py
@@ -660,6 +660,8 @@ def run_tests(parsed, target, todo):
             result = instance.run()
             log_fd.write("Result: %s\n" % result)
             log_fd.write("Logfile: %s\n" % log_name)
+            log_fd.write("Reproduce: %s %s %s\n" % (sys.argv[0], parsed.target,
+                name))
         finally:
             sys.stdout = real_stdout
             log_fd.write("Time elapsed: %.2fs\n" % (time.time() - start))