diff options
| author | Damien George <damien.p.george@gmail.com> | 2016-12-20 15:13:49 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2016-12-20 15:13:49 +1100 |
| commit | 1e7a801e2d304b3e290b82de49c99790351f84d0 (patch) | |
| tree | fc723a44e668971b1999a47db04c6e4925453718 | |
| parent | 7bbce4e213c273d95b30519148bf41182b489247 (diff) | |
| download | micropython-1e7a801e2d304b3e290b82de49c99790351f84d0.tar.gz micropython-1e7a801e2d304b3e290b82de49c99790351f84d0.zip | |
tests/run-tests: For REPL tests make sure the REPL is exited at the end.
| -rwxr-xr-x | tests/run-tests | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/run-tests b/tests/run-tests index 3898fb7aa7..b858e96358 100755 --- a/tests/run-tests +++ b/tests/run-tests @@ -99,6 +99,7 @@ def run_micropython(pyb, args, test_file): stderr=subprocess.STDOUT, bufsize=0) banner = get(True) output_mupy = banner + b''.join(send_get(line) for line in f) + send_get(b'\x04') # exit the REPL, so coverage info is saved p.kill() os.close(master) os.close(slave) |