diff options
Diffstat (limited to '')
| -rw-r--r-- | tests/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tests/Makefile b/tests/Makefile index dfb20cc4..a6a85d2d 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -1,3 +1,4 @@ -all: - cd fstar && $(MAKE) all - cd coq && $(MAKE) all +all: test-fstar test-coq test-lean + +test-%: + cd $* && $(MAKE) all |