summaryrefslogtreecommitdiff
path: root/manage
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2022-01-20 07:04:39 +0100
committerMartin Fischer <martin@push-f.com>2022-01-23 08:00:39 +0100
commit3cd5ce55e826a665c6113d5da8195aec9567631a (patch)
treeff3dc3ae3771f78bf69f2afbd71446d959f29d79 /manage
parentaaf616fbd63f3b58fc88a2f60e04b9998ef1654a (diff)
[enh] clarify why we run pyright in the pyenv
Diffstat (limited to 'manage')
-rwxr-xr-xmanage2
1 files changed, 2 insertions, 0 deletions
diff --git a/manage b/manage
index b70e81f5..0c0e851c 100755
--- a/manage
+++ b/manage
@@ -687,6 +687,8 @@ test.pylint() {
test.pyright() {
build_msg TEST "[pyright] static type check of python sources"
nodejs.ensure
+ # We run Pyright in the virtual environment because Pyright
+ # executes "python" to determine the Python version.
pyenv.cmd pyright
dump_return $?
}