From: bpringlemeir <bpringlemeir>
Date: Wed, 30 Sep 2009 20:42:39 +0000 (+0000)
Subject: Add an ignore file for generated files.
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/1490eb90f6ab42a8818fea08ace686223cf12ae3

Add an ignore file for generated files.
---

diff --git a/src/.cvsignore b/src/.cvsignore
new file mode 100644
index 0000000..df0cef5
--- /dev/null
+++ b/src/.cvsignore
@@ -0,0 +1,10 @@
+*.out
+*.output
+splint
+.deps
+Makefile
+cgrammar.c
+cscanner.c
+lex.yy.c
+llgrammar.c
+signature.c