| Index: pylint
|
| diff --git a/pylint b/pylint
|
| index 02cd5a4e0e3979ed4d52beb4baa16147ebbd6a5b..143f957ff80fae0eb5fb54b76370be2b250dfd4e 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
|
|
|