summaryrefslogtreecommitdiff
path: root/manage
diff options
context:
space:
mode:
Diffstat (limited to 'manage')
-rwxr-xr-xmanage2
1 files changed, 2 insertions, 0 deletions
diff --git a/manage b/manage
index b70e81f52..0c0e851c7 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 $?
}