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

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