diff options
| author | stijn <stijn@ignitron.net> | 2023-08-24 13:15:23 +0200 |
|---|---|---|
| committer | stijn <stijn@ignitron.net> | 2024-01-10 11:34:09 +0100 |
| commit | 88d21f186bc8ca9ef9728a36f5ca27731f2d86bc (patch) | |
| tree | 57413bd23cab9e647b16360d6fed24dc69a56f27 | |
| parent | ba4330ba102ac1d61e2e0e29ad2c2f361b9109c0 (diff) | |
tests/run-tests.py: Make repl test detection more correct.
Avoid unrelated tests which happen to have "repl_" anywhere
in their path to be treated as repl tests.
Signed-off-by: stijn <stijn@ignitron.net>
| -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 |