From 3ab947ce345e9d18ddcda57d8f88b2a9b8f5d267 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Mon, 12 Oct 2015 11:48:36 +0200 Subject: Removal of cchecklink, superseded by AbsInt's Valex tool. --- .gitignore | 2 -- 1 file changed, 2 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 107dd3a1..1c8ff7d9 100644 --- a/.gitignore +++ b/.gitignore @@ -14,8 +14,6 @@ ccomp ccomp.byte ccomp.prof -cchecklink -cchecklink.byte clightgen clightgen.byte tools/ndfun -- cgit From d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 12 Oct 2015 10:50:48 +0200 Subject: We can ignore the generated automation. Bug 17392 --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 1c8ff7d9..fc387e39 100644 --- a/.gitignore +++ b/.gitignore @@ -37,6 +37,7 @@ cparser/Parser.v cparser/Lexer.ml cparser/pre_parser.ml cparser/pre_parser.mli +cparser/pre_parser.automaton lib/Readconfig.ml lib/Tokenize.ml driver/Version.ml -- cgit