sys/contrib/dev/acpica-unix-20061109/generate/lint/lint.bat

   1 "C:\Program Files\Lint\Lint-nt"  +v  -i"C:\Acpi\Generate\Lint"  std64.lnt  -os(C:\Acpi\Generate\Lint\LintOut.txt) %1 %2 %3 %4 %5 %6 %7 %8 %9
   2 echo "64-bit lint completed" >> c:\acpi\Generate\lint\LintOut.txt
   3 "C:\Program Files\Lint\Lint-nt"  +v  -i"C:\Acpi\Generate\Lint"  std32.lnt  +os(C:\Acpi\Generate\Lint\LintOut.txt) %1 %2 %3 %4 %5 %6 %7 %8 %9
   4 echo "32-bit lint completed" >> c:\acpi\Generate\lint\LintOut.txt
   5 "C:\Program Files\Lint\Lint-nt"  +v  -i"C:\Acpi\Generate\Lint"  std16.lnt  +os(C:\Acpi\Generate\Lint\LintOut.txt) %1 %2 %3 %4 %5 %6 %7 %8 %9
   6 echo "16-bit lint completed" >> c:\acpi\Generate\lint\LintOut.txt
   7 @echo off
   8 echo ---
   9 echo  output placed in C:\Acpi\Generate\Lint\LintOut.txt
  10