Synthetic: Add run-lint.bat script

This commit is contained in:
Daniel Marjamäki 2016-11-22 19:25:05 +01:00
parent 02d8f691f8
commit 8870195794
1 changed files with 4 additions and 0 deletions

4
test/synthetic/run-lint.bat Executable file
View File

@ -0,0 +1,4 @@
\lint\lint-nt.exe -e526 -e529 -e550 -e552 -e714 -e744 -e765 -e830 -e831 -e843 -h1 controlflow.c
\lint\lint-nt.exe -e526 -e529 -e550 -e552 -e714 -e744 -e765 -e830 -e831 -e843 -h1 data.c
\lint\lint-nt.exe -e526 -e529 -e550 -e552 -e714 -e744 -e765 -e830 -e831 -e843 -h1 functions.c
\lint\lint-nt.exe -e526 -e529 -e550 -e552 -e714 -e744 -e765 -e830 -e831 -e843 -h1 ub.c