diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-02-03 03:26:06 -0500 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-02-03 03:26:06 -0500 |
| commit | 1a9b44a9c6ba2b6c089e1ec73905d117b9e25714 (patch) | |
| tree | 2484ddd6240b09989d4e7e86fdf26e245b797fa4 | |
| parent | 2d507260ee723f8302c5c97a9bda1cf00f30ec99 (diff) | |
integrate sparse
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
| @@ -45,3 +45,6 @@ stdump: liblitmus.a litmus.h sched_trace.h stdump.o | |||
| 45 | 45 | ||
| 46 | liblitmus.a: ${LIB_OBJ} litmus.h | 46 | liblitmus.a: ${LIB_OBJ} litmus.h |
| 47 | ${AR} rcs liblitmus.a ${LIB_OBJ} | 47 | ${AR} rcs liblitmus.a ${LIB_OBJ} |
| 48 | |||
| 49 | check: | ||
| 50 | sparse ${CFLAGS} src/*.c bin/*.c \ No newline at end of file | ||