| Index: bootstrap/win/pylint.new.bat
|
| diff --git a/bootstrap/win/python.new.bat b/bootstrap/win/pylint.new.bat
|
| similarity index 72%
|
| rename from bootstrap/win/python.new.bat
|
| rename to bootstrap/win/pylint.new.bat
|
| index b7ee9463191b63c5f4edf3754522bedbb1e3ef23..f3e66b38e14c3e4a6713599d22e702f6ee8b814d 100644
|
| --- a/bootstrap/win/python.new.bat
|
| +++ b/bootstrap/win/pylint.new.bat
|
| @@ -4,5 +4,4 @@
|
| :: found in the LICENSE file.
|
|
|
| setlocal
|
| -set PATH=%~dp0python_bin;%PATH%
|
| -"%~dp0python_bin\python.exe" %*
|
| +call python "%~dp0pylint.py" %*
|
|
|