xref: /dflybsd-src/sys/contrib/dev/acpica/generate/lint/lint.bat (revision ff3cb46dc85efe9ae4869916ad9a2bdad4d71983)
1del LintOut.txt
2echo Begin 64-bit lint >> LintOut.txt
3
4"C:\Program Files\Lint\Lint-nt" +v std64.lnt +os(LintOut.txt) files.lnt
5
6echo 64-bit lint completed >> LintOut.txt
7echo -------------------------------------------- >> LintOut.txt
8echo Begin 32-bit lint >> LintOut.txt
9
10"C:\Program Files\Lint\Lint-nt" +v std32.lnt +os(LintOut.txt) files.lnt
11
12echo 32-bit lint completed >> LintOut.txt
13@echo off
14echo ---
15echo  Output placed in LintOut.txt
16