Home | History | Annotate | Line # | Download | only in lint 
      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