diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x[-rw-r--r--] | tools/capture_transforms.py | 2 | ||||
| -rwxr-xr-x[-rw-r--r--] | tools/convert.py | 2 | ||||
| -rwxr-xr-x[-rw-r--r--] | tools/verify_qemu.py | 2 |
3 files changed, 5 insertions, 1 deletions
diff --git a/tools/capture_transforms.py b/tools/capture_transforms.py index de35d86..5439b05 100644..100755 --- a/tools/capture_transforms.py +++ b/tools/capture_transforms.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 import argparse import logging diff --git a/tools/convert.py b/tools/convert.py index 27a8a4a..f21a2fa 100644..100755 --- a/tools/convert.py +++ b/tools/convert.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + import argparse import sys diff --git a/tools/verify_qemu.py b/tools/verify_qemu.py index da2e985..779b903 100644..100755 --- a/tools/verify_qemu.py +++ b/tools/verify_qemu.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + """ Spawn GDB, connect to QEMU's GDB server, and read test states from that. |