tools: Dropped splint since its unmaintained and doesn't compile.

This commit is contained in:
Andrew Hamilton 2019-01-25 12:03:31 +10:00
parent b60a8bddae
commit 6f11326fda
5 changed files with 1 additions and 18 deletions

View file

@ -1,3 +0,0 @@
Splint 3.1.2 --- 20 Feb 2018
Finished checking --- no warnings

View file

@ -1,3 +0,0 @@
Splint 3.1.2 --- 20 Feb 2018
Finished checking --- no warnings

View file

@ -164,10 +164,6 @@ class ToolsTestCase(unittest.TestCase):
def test_c_syntax_gcc(self):
self._test_tool(tools.c_syntax_gcc, [("hello.c", tools.Status.ok)])
def test_splint(self):
self._test_tool(tools.splint, [("hello.c", tools.Status.ok),
("hello.h", tools.Status.ok)])
def test_objdump_headers(self):
self._test_tool(tools.objdump_headers,
[("Mcrt1.o", tools.Status.normal)])