]>
Commit | Line | Data |
---|---|---|
a469ccf0 | 1 | .PHONY: tainted |
2 | ||
11db3170 | 3 | SPLINT = splint |
a469ccf0 | 4 | |
5 | all: tainted | |
6 | ||
7 | tainted: | |
11db3170 | 8 | ${SPLINT} -mts taintednm taintednm.c -mustfree -exportlocal -expect 2 |
9 | ${SPLINT} -mts tainted taintednm.c -mustfree -exportlocal -expect 4 |