mirror of
https://fuchsia.googlesource.com/third_party/github.com/pylint-dev/pylint
synced 2024-09-21 16:19:21 +00:00
20 lines
367 B
Batchfile
20 lines
367 B
Batchfile
|
@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 """
|
||
|
|
|
||
|
|
|