Index: bootstrap/win/pylint.new.bat |
diff --git a/bootstrap/win/pylint.new.bat b/bootstrap/win/pylint.new.bat |
new file mode 100644 |
index 0000000000000000000000000000000000000000..a9df27e3fdff245d73aa3b7b8feaf78c214626e9 |
--- /dev/null |
+++ b/bootstrap/win/pylint.new.bat |
@@ -0,0 +1,4 @@ |
+@echo off |
+setlocal |
+set PATH=%~dp0python_bin;%PATH% |
+"%~dp0python_bin\python.exe" "%~dp0pylint.py" %* |
M-A Ruel
2012/06/08 18:02:36
I'd prefer:
call python "%~dp0pylint.py" %*
and p
chrisha
2012/06/18 21:06:58
Done.
(I had simply copied python.bat as a templa
|