diff options
author | Emile Anclin <emile.anclin@logilab.fr> | 2010-03-23 12:33:59 +0100 |
---|---|---|
committer | Emile Anclin <emile.anclin@logilab.fr> | 2010-03-23 12:33:59 +0100 |
commit | 6b917a6599cd97ae4626809e88adc4aa74323a7e (patch) | |
tree | fcd7203361e5c93f8c5c4b6d6b326d56db9fc81c /bin/pylint.bat | |
parent | 9edcbd941951e53c79b84b8d3bbbca741d2c9af4 (diff) | |
download | pylint-git-6b917a6599cd97ae4626809e88adc4aa74323a7e.tar.gz |
fix #19498: apply windows batch patch
Diffstat (limited to 'bin/pylint.bat')
-rw-r--r-- | bin/pylint.bat | 23 |
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" %*
|