| Index: pylint
|
| diff --git a/pylint b/pylint
|
| index 02cd5a4e0e3979ed4d52beb4baa16147ebbd6a5b..b0452a17c2d69dada7d2acce5782c6642838055f 100755
|
| --- a/pylint
|
| +++ b/pylint
|
| @@ -12,8 +12,8 @@ base_dir=$(dirname "$0")
|
| OUTPUT="$(uname | grep 'MINGW')"
|
| MINGW=$?
|
|
|
| -if [ -d "$base_dir/python_bin" -a $MINGW = 0 ]; then
|
| - PYTHONDONTWRITEBYTECODE=1 exec "$base_dir/python_bin/python.exe" "$base_dir"/pylint.py "$@"
|
| +if [ -e "$base_dir/python.bat" -a $MINGW = 0 ]; then
|
| + PYTHONDONTWRITEBYTECODE=1 cmd.exe /c "$base_dir/python.bat $base_dir/pylint.py $@"
|
| else
|
| PYTHONDONTWRITEBYTECODE=1 exec "$base_dir/pylint.py" "$@"
|
| fi
|
|
|