diff options
Diffstat (limited to 'tools/rtt.py')
| -rw-r--r-- | tools/rtt.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/rtt.py b/tools/rtt.py index c3ea86093..0ae975fcf 100644 --- a/tools/rtt.py +++ b/tools/rtt.py @@ -690,7 +690,7 @@ def main() -> int: # header and read garbage as a descriptor ap.error(f'--channel must be >= 0, got {args.channel}') if args.stop_file and os.path.exists(args.stop_file): - ap.error(f'--stop-file already exists: {args.stop_file}') + return 0 def stop_requested(): return bool(args.stop_file and os.path.exists(args.stop_file)) |