[clinfo] 22/36: Option to run sparse via make

[Andreas Beckmann]

This is an automated email from the git hooks/post-receive script.

anbe pushed a commit to branch master
in repository clinfo.

commit deb244e8091b9ea6e6f69b8e38eda1a3060fc5cf
Author: Giuseppe Bilotta <giuseppe.bilotta at gmail.com>
Date:   Wed Dec 9 22:21:55 2015 +0100

    Option to run sparse via make
---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile b/Makefile
index f9695e4..be5d411 100644
--- a/Makefile
+++ b/Makefile
@@ -18,9 +18,17 @@ endif
 
 CFLAGS+=-std=c99 -g -Wall -Wextra
 
+SPARSE ?= sparse
+SPARSEFLAGS=-Wno-decl
+
 clinfo:
 
 clinfo.o: clinfo.c $(HDR)
 
 clean:
 	$(RM) clinfo.o clinfo
+
+sparse: clinfo.c
+	$(SPARSE) $(SPARSEFLAGS) $^
+
+.PHONY: clean sparse

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-opencl/clinfo.git