diff options
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" %*
|