diff options
| -rwxr-xr-x | tests/run-tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/run-tests.py b/tests/run-tests.py index cae570808..8fe97be6c 100755 --- a/tests/run-tests.py +++ b/tests/run-tests.py @@ -205,7 +205,7 @@ def run_micropython(pyb, args, test_file, is_special=False): # run the test, possibly with redirected input try: - if "repl_" in test_file: + if os.path.basename(test_file).startswith("repl_"): # Need to use a PTY to test command line editing try: import pty |