]>
andersk Git - splint.git/blame_incremental - test/simplebufferConstraintTests/Makefile
... / ...
Commit | Line | Data |
| 1 | .PHONY: check |
| 2 | |
| 3 | SPLINT = splint -exportlocal |
| 4 | |
| 5 | check: |
| 6 | $(SPLINT) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c -expect 7 |
| 7 | |
| 8 | |
This page took 0.027449 seconds and 5 git commands to generate.