1 files changed, 19 insertions, 0 deletions
diff --git a/bin/pylint.bat b/bin/pylint.bat
new file mode 100644
index 000000000..772735ac7
--- /dev/null
+++ b/bin/pylint.bat
@@ -0,0 +1,19 @@
+@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
+rem """
+
+