]>
Commit | Line | Data |
---|---|---|
a469ccf0 | 1 | .PHONY: check |
2 | ||
11db3170 | 3 | SPLINT = splint |
a469ccf0 | 4 | |
5 | check: | |
bb7c2085 | 6 | $(SPLINT) -exportlocal +bounds unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c -expect 8 |
a469ccf0 | 7 |