diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/tracetool.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/tracetool.py b/scripts/tracetool.py index 6accbbff69..f66e767271 100755 --- a/scripts/tracetool.py +++ b/scripts/tracetool.py @@ -129,7 +129,10 @@ def main(args): if probe_prefix is None: probe_prefix = ".".join(["qemu", target_type, target_name]) - events = tracetool.read_events(sys.stdin) + if len(args) != 1: + error_opt("missing trace-events filepath") + with open(args[0], "r") as fh: + events = tracetool.read_events(fh) try: tracetool.generate(events, arg_format, arg_backends, |