diff options
Diffstat (limited to 'debug/targets.py')
| -rw-r--r-- | debug/targets.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debug/targets.py b/debug/targets.py index f4192b6..9c1ccf0 100644 --- a/debug/targets.py +++ b/debug/targets.py @@ -91,6 +91,10 @@ class Target: # whether they are applicable or not. skip_tests = [] + # Set False if semihosting should not be tested in this configuration, + # because it doesn't work and isn't expected to work. + test_semihosting = True + # Internal variables: directory = None temporary_files = [] |