summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlan Coopersmith <Alan.Coopersmith@sun.com>2006-06-28 22:53:36 +0000
committerAlan Coopersmith <Alan.Coopersmith@sun.com>2006-06-28 22:53:36 +0000
commit385d7fa4f151425539d613c9665b5e862f3ef614 (patch)
tree39c7e788d6ce22e6f092e5b6a052a999a48bc37f /.gitignore
parent21ea069c9078edd386e96e038e1a71e041e32cf5 (diff)
Add "--with-lint" configure flag and "make lint" Makefile target to check
source code with lint, sparse or similar tools.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions