diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x[-rw-r--r--] | tools/manage | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/manage b/tools/manage index 39eb16a..dc7f64b 100644..100755 --- a/tools/manage +++ b/tools/manage @@ -2,8 +2,8 @@ set -e -python3.11 --version >NUL 2>&1 || ( - echo Error: failed to run Python with py -3 --version. +python3.11 --version > /dev/null 2>&1 || ( + echo Error: failed to run Python with python3.11 --version. exit 1 ) |