Signed-off-by: Paolo Bonzini <[email protected]>
---
 python/tests/tracetool-mypy.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 python/tests/tracetool-mypy.sh

diff --git a/python/tests/tracetool-mypy.sh b/python/tests/tracetool-mypy.sh
new file mode 100755
index 00000000000..7b4011e52d6
--- /dev/null
+++ b/python/tests/tracetool-mypy.sh
@@ -0,0 +1,5 @@
+#!/bin/sh -e
+# SPDX-License-Identifier: GPL-2.0-or-later
+
+cd ../scripts
+python3 -m mypy --strict tracetool
-- 
2.51.0


Reply via email to