From: Paolo Bonzini <[email protected]>

Signed-off-by: Paolo Bonzini <[email protected]>
Reviewed-by: Stefan Hajnoczi <[email protected]>
Reviewed-by: Daniel P. BerrangĂ© <[email protected]>
Message-ID: <[email protected]>
Signed-off-by: Stefan Hajnoczi <[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 0000000000..7b4011e52d
--- /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.52.0


Reply via email to