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 |