aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.gitignore
diff options
authorJosh Triplett <josh@freedesktop.org>2006-12-04 23:54:34 -0800
committerJosh Triplett <josh@freedesktop.org>2006-12-04 23:54:34 -0800
commitab5399000739d32922338f7325a29075eea5e934 (patch)
treeeeaab755e905a8b4e1355bb065edbb3b58e77c57 /.gitignore
parent8a08b7886fa8732e3e9ac0664d31c011bb4668b7 (diff)
downloadsparse-dev-ab5399000739d32922338f7325a29075eea5e934.tar.gz
Rename "check.c" to "sparse.c" to match program name; update .gitignore
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 6a12c5c3..20100a95 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,7 +11,7 @@ pre-process.h
test-lexing
test-parsing
obfuscate
-check
+sparse
compile
graph
test-dissect