language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 20:34:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update python_util.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-30 18:25:10 +09:00
parent 4bc113f7d1
commit f7d2096d3e
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/erg_common/python_util.rs
View file

@ -373,8 +373,8 @@ pub fn which_python() -> String {
if res.is_empty() { if res.is_empty() {
println!("python not found"); println!("python not found");
std::process::exit(1); std::process::exit(1);
} else if res.contains("pyenv") { } else if res.contains("pyenv") && cfg!(windows) {
println!("cannot use pyenv"); println!("cannot use pyenv-win"); // because pyenv-win does not support `-c` option
std::process::exit(1); std::process::exit(1);
} }
res res