all: check

check:
	@sh ./run.sh

# run.sh creates and removes its own temporary directories.
clean:

.PHONY: all check clean
