From d3807bb59a7fd47389d1b1954b4f02be4fe095e3 Mon Sep 17 00:00:00 2001 From: Eric Harney Date: Tue, 15 Oct 2024 11:53:18 -0400 Subject: [PATCH] mypy: Print mypy version used "tox -e mypy" doesn't show which version of mypy is being used, add this for convenience. Change-Id: Ic0fc286d78ab4040d005507948c7019d2949f471 --- tools/mypywrap.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/mypywrap.sh b/tools/mypywrap.sh index 7b8b07bccd2..baf88af2114 100755 --- a/tools/mypywrap.sh +++ b/tools/mypywrap.sh @@ -14,6 +14,8 @@ ROOT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" #export MYPYPATH=$ROOT_DIR/../cinder/tests/stubs/ +python -m mypy -V + if [ $# -eq 0 ]; then # if no arguments provided, use the standard converted lists lines=$(grep -v '#' $ROOT_DIR/../mypy-files.txt)