all:
	$(MAKE) -C src

check:
	$(MAKE) -C src check

clean:
	$(MAKE) -C src clean