From 1a9b44a9c6ba2b6c089e1ec73905d117b9e25714 Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Sun, 3 Feb 2008 03:26:06 -0500
Subject: integrate sparse

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 38af7fe..c311787 100644
--- a/Makefile
+++ b/Makefile
@@ -45,3 +45,6 @@ stdump: liblitmus.a litmus.h sched_trace.h stdump.o
 
 liblitmus.a:  ${LIB_OBJ} litmus.h 
 	${AR} rcs liblitmus.a ${LIB_OBJ}
+
+check:
+	sparse ${CFLAGS} src/*.c bin/*.c
\ No newline at end of file
-- 
cgit v1.2.2