# Used by ../Makefile for 'make check' and Coverity Scan

all:
	make all
	make clean