# -*- make -*-
#
# Run `make check' (or just `make') in this directory, to run all the
# tests.  Run `make check-TESTNAME' to run just one test.

TESTS := $(basename $(shell echo *.at))
CHECKS := $(addprefix check-,$(TESTS))

all check: $(CHECKS)

check-%: %.at
	@ set -e; cd ..; tests/autotest tests/$^ </dev/null