diff options
author | Karel Gardas <karel@functional.vision> | 2022-04-19 14:28:51 +0200 |
---|---|---|
committer | Karel Gardas <karel@functional.vision> | 2022-05-29 19:47:05 +0200 |
commit | 43843b85fe68cfd1b6c4a58a39934c7116f9493e (patch) | |
tree | 2aed73556e354a20d34684111607adc3d1abc5da /tester | |
parent | linkers: Speed up reading large executables for all cases except inlining (diff) | |
download | rtems-tools-43843b85fe68cfd1b6c4a58a39934c7116f9493e.tar.bz2 |
tester/gdb: allow kill on the test end
Sponsored-By: Precidata
Diffstat (limited to 'tester')
-rw-r--r-- | tester/rt/config.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tester/rt/config.py b/tester/rt/config.py index a7b9ee3..8a433af 100644 --- a/tester/rt/config.py +++ b/tester/rt/config.py @@ -258,6 +258,7 @@ class file(config.file): script = self.expand('%%{%s}' % data[2]) if script: script = [l.strip() for l in script.splitlines()] + self.kill_on_end = True if not self.in_error: if self.console: self.console.open() |