From 887019579496d13722e75f16331d6b047f6c5ee6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Tue, 22 Nov 2016 19:25:05 +0100 Subject: [PATCH] Synthetic: Add run-lint.bat script --- test/synthetic/run-lint.bat | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 test/synthetic/run-lint.bat diff --git a/test/synthetic/run-lint.bat b/test/synthetic/run-lint.bat new file mode 100755 index 000000000..e578df1a6 --- /dev/null +++ b/test/synthetic/run-lint.bat @@ -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