
DIRS=csurf GenKill interrupt substrings tfa

default:
	@echo "No default in this Makefile."



check clean baselines:
	@for i in $(DIRS); do \
	    make -C $$i $@; \
	    if [[ $$? -ne 0 ]]; then exit 1; fi \
	done

