diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-02-19 15:48:59 -0500 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-02-19 15:48:59 -0500 |
| commit | 8cea6a4d179628e96d8d012f7a7f18d112fdb060 (patch) | |
| tree | edbec8b5f4c91775f089c72a345096066fe8e5d6 /Makefile | |
| parent | 2c1f329215e57a6f070cab21236b132b22ef80c2 (diff) | |
adapt to new ABI
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -1,4 +1,4 @@ | |||
| 1 | KERNEL_DIR = ../q08 | 1 | KERNEL_DIR = ../litmus2008 |
| 2 | 2 | ||
| 3 | INC=-Iinclude/ -I${KERNEL_DIR}/include/ | 3 | INC=-Iinclude/ -I${KERNEL_DIR}/include/ |
| 4 | 4 | ||
| @@ -47,4 +47,4 @@ liblitmus.a: ${LIB_OBJ} litmus.h | |||
| 47 | ${AR} rcs liblitmus.a ${LIB_OBJ} | 47 | ${AR} rcs liblitmus.a ${LIB_OBJ} |
| 48 | 48 | ||
| 49 | check: | 49 | check: |
| 50 | sparse ${CFLAGS} src/*.c bin/*.c \ No newline at end of file | 50 | sparse ${CFLAGS} src/*.c bin/*.c |