Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1498 | serge | 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 |