From 3d348f51e343ff84b8e550fbeb905e23bf2b6175 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 7 Jun 2018 22:25:26 +0200 Subject: Ignore *.v files generated by tests --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index b782e849..f35ac73a 100644 --- a/.gitignore +++ b/.gitignore @@ -65,3 +65,5 @@ /doc/html/ # MacOS metadata .DS_Store +# Test generated data +/test/clightgen/*.v \ No newline at end of file -- cgit From 49ecf8a3e5b5a4449f4bcbc1d6d4f55c8b5888be Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 10 Sep 2018 10:56:54 +0200 Subject: Ignore generated conflict file. Bug 24455 --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index f35ac73a..6fabfc01 100644 --- a/.gitignore +++ b/.gitignore @@ -49,6 +49,7 @@ /cparser/pre_parser_messages.ml /cparser/pre_parser.automaton /cparser/pre_parser.messages +/cparser/pre_parser.conflicts /cparser/handcrafted.messages.bak /cparser/handcrafted.messages.raw /cparser/deLexer -- cgit