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