andersk / splint.git / blame
| 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 |