Blame generate/lint/lint.bat
|
Packit Service |
1fb00e |
del LintOut.txt
|
|
Packit Service |
1fb00e |
echo Begin 64-bit lint >> LintOut.txt
|
|
Packit Service |
1fb00e |
|
|
Packit Service |
1fb00e |
"C:\Program Files\Lint\Lint-nt" +v std64.lnt +os(LintOut.txt) files.lnt
|
|
Packit Service |
1fb00e |
|
|
Packit Service |
1fb00e |
echo 64-bit lint completed >> LintOut.txt
|
|
Packit Service |
1fb00e |
echo -------------------------------------------- >> LintOut.txt
|
|
Packit Service |
1fb00e |
echo Begin 32-bit lint >> LintOut.txt
|
|
Packit Service |
1fb00e |
|
|
Packit Service |
1fb00e |
"C:\Program Files\Lint\Lint-nt" +v std32.lnt +os(LintOut.txt) files.lnt
|
|
Packit Service |
1fb00e |
|
|
Packit Service |
1fb00e |
echo 32-bit lint completed >> LintOut.txt
|
|
Packit Service |
1fb00e |
@echo off
|
|
Packit Service |
1fb00e |
echo ---
|
|
Packit Service |
1fb00e |
echo Output placed in LintOut.txt
|
|
Packit Service |
1fb00e |
|