]>
Commit | Line | Data |
---|---|---|
80ee600a | 1 | .PHONY: tainted file |
2 | ||
11db3170 | 3 | SPLINT = splint |
80ee600a | 4 | |
990ec868 | 5 | all: file sockets struct nullbranch osd |
80ee600a | 6 | |
7 | file: | |
11db3170 | 8 | ${SPLINT} -mts file file1.c -expect 4 |
9 | ${SPLINT} -mts file file2.c -varuse -fcnuse -expect 2 | |
10 | ${SPLINT} -mts file file3.c -varuse -fcnuse -expect 2 | |
11 | ${SPLINT} -mts file file4.c -varuse -fcnuse -exportlocal -expect 1 | |
12 | ${SPLINT} -mts file file5.c -varuse -fcnuse -exportlocal -expect 4 | |
13 | ${SPLINT} -mts file file6.c -varuse -fcnuse -exportlocal -expect 2 | |
14 | ${SPLINT} -mts file filebad.c -expect 3 | |
80ee600a | 15 | |
16 | sockets: | |
11db3170 | 17 | ${SPLINT} sockets.mts sockets.c -expect 3 |
18 | ${SPLINT} sockets.mts sockets2.c -expect 2 | |
80ee600a | 19 | |
20 | struct: | |
11db3170 | 21 | ${SPLINT} -mts file struct.c -expect 1 |
80ee600a | 22 | |
23 | nullbranch: | |
11db3170 | 24 | ${SPLINT} -mts file nullbranch.c -expect 2 |
80ee600a | 25 | |
26 | osd: | |
11db3170 | 27 | ${SPLINT} -mts file osd.c -expect 2 |