]> andersk Git - splint.git/blame - test/globalbufferannotation/Makefile
Added doc/Makefile.am to get make dist to work.
[splint.git] / test / globalbufferannotation / Makefile
CommitLineData
a469ccf0 1.PHONY: check
2
11db3170 3SPLINT = splint -exportlocal
a469ccf0 4
5check:
bb7c2085 6 $(SPLINT) +bounds globalvariable.c
a469ccf0 7
This page took 0.050114 seconds and 5 git commands to generate.