del LintOut.txt
echo Begin 64-bit lint >> LintOut.txt

"C:\Program Files\Lint\Lint-nt" +v std64.lnt +os(LintOut.txt) files.lnt

echo 64-bit lint completed >> LintOut.txt
echo -------------------------------------------- >> LintOut.txt
echo Begin 32-bit lint >> LintOut.txt

"C:\Program Files\Lint\Lint-nt" +v std32.lnt +os(LintOut.txt) files.lnt

echo 32-bit lint completed >> LintOut.txt
@echo off
echo ---
echo  Output placed in LintOut.txt