3 # Run `make check' (or just `make') in this directory, to run all the
4 # tests. Run `make check-TESTNAME' to run just one test.
6 TESTS := $(basename $(shell echo *.at))
7 CHECKS := $(addprefix check-,$(TESTS))
12 @ set -e; cd ..; tests/autotest tests/$^ </dev/null