summaryrefslogtreecommitdiff
path: root/bin/pylint.bat
diff options
context:
space:
mode:
authorEmile Anclin <emile.anclin@logilab.fr>2010-03-23 12:33:59 +0100
committerEmile Anclin <emile.anclin@logilab.fr>2010-03-23 12:33:59 +0100
commit6b917a6599cd97ae4626809e88adc4aa74323a7e (patch)
treefcd7203361e5c93f8c5c4b6d6b326d56db9fc81c /bin/pylint.bat
parent9edcbd941951e53c79b84b8d3bbbca741d2c9af4 (diff)
downloadpylint-git-6b917a6599cd97ae4626809e88adc4aa74323a7e.tar.gz
fix #19498: apply windows batch patch
Diffstat (limited to 'bin/pylint.bat')
-rw-r--r--bin/pylint.bat23
1 files changed, 4 insertions, 19 deletions
diff --git a/bin/pylint.bat b/bin/pylint.bat
index 3239fc5c2..88e566ba0 100644
--- a/bin/pylint.bat
+++ b/bin/pylint.bat
@@ -1,20 +1,5 @@
@echo off
-rem = """-*-Python-*- script
-rem -------------------- DOS section --------------------
-rem You could set PYTHONPATH or TK environment variables here
-python -x "%~f0" %*
-goto exit
-
-"""
-# -------------------- Python section --------------------
-import sys
-from pylint import lint
-lint.Run(sys.argv[1:])
-
-
-DosExitLabel = """
-:exit
-exit(ERRORLEVEL)
-rem """
-
-
+rem Use python to execute the python script having the same name as this batch
+rem file, but without any extension, located in the same directory as this
+rem batch file
+python "%~dpn0" %*