1 files changed, 3 insertions, 0 deletions

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