.PHONY: check clean

SPLINT = splint
EXTRAPATH = LARCH_PATH=".:$(LARCH_PATH)"

check:
	-$(EXTRAPATH) ${SPLINT} -mts taintednm taintednm.c -mustfree -exportlocal -expect 2
	-$(EXTRAPATH) ${SPLINT} -mts tainted taintednm.c -mustfree -exportlocal -expect 4

