summaryrefslogtreecommitdiff
path: root/tests/coq/Makefile
blob: 5fead9c90d4a167433cfd9901824bbd7ed18a3e9 (plain)
1
2
3
# TODO: make this more general
all:
	cd misc && $(MAKE) all