From 85484fa6a4ce4358a516d5639fa75807e007f5a1 Mon Sep 17 00:00:00 2001 From: Noah Moroze Date: Tue, 7 Nov 2023 11:48:10 -0500 Subject: [PATCH] Exit Verilator with SIGINT by default --- switchboard/verilator.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/switchboard/verilator.py b/switchboard/verilator.py index 4d9dda2c..fbbe92d6 100644 --- a/switchboard/verilator.py +++ b/switchboard/verilator.py @@ -6,7 +6,7 @@ from .util import binary_run -def verilator_run(bin, plusargs=None, args=None, **kwargs): +def verilator_run(bin, plusargs=None, args=None, use_sigint=True, **kwargs): if args is None: extra_args = [] elif isinstance(args, (list, tuple)): @@ -36,4 +36,4 @@ def verilator_run(bin, plusargs=None, args=None, **kwargs): # append any extra arguments user provided by the user args += extra_args - return binary_run(bin=bin, args=args, **kwargs) + return binary_run(bin=bin, args=args, use_sigint=use_sigint, **kwargs)