all:
	@echo
	@echo to run tests type: ./runall.sh
	@echo or make run
	@echo

run:
	./runall.sh

clean-local:
	-rm -rf tmp
	-rm -rf *.try