Index: pylint |
diff --git a/pylint b/pylint |
index 143f957ff80fae0eb5fb54b76370be2b250dfd4e..22f740a755173363d502fd13fe9dc77123e059e2 100755 |
--- a/pylint |
+++ b/pylint |
@@ -13,7 +13,7 @@ OUTPUT="$(uname | grep 'MINGW')" |
MINGW=$? |
if [ -e "$base_dir/python.bat" -a $MINGW = 0 ]; then |
- PYTHONDONTWRITEBYTECODE=1 cmd.exe //c $base_dir\\python.bat $base_dir\\pylint.py $@ |
+ PYTHONDONTWRITEBYTECODE=1 cmd.exe //c "$base_dir\\python.bat" "$base_dir\\pylint.py" "$@" |
else |
PYTHONDONTWRITEBYTECODE=1 exec "$base_dir/pylint.py" "$@" |
fi |