diff options
author | Guillaume Boisseau | 2024-05-24 14:37:29 +0200 |
---|---|---|
committer | GitHub | 2024-05-24 14:37:29 +0200 |
commit | 3c8ea6df20f92be9c341bbfb748f65d6c598fead (patch) | |
tree | 63429c0be3daff353dbc6d667618e4028490cc79 /tests/Makefile | |
parent | c6c9e351546a723e62cc21579b2359dba3bfb56f (diff) | |
parent | 41f78066da5cc10af6312ab1bef71e45ff460688 (diff) |
Merge pull request #197 from AeneasVerif/test-harness3
Diffstat (limited to 'tests/Makefile')
-rw-r--r-- | tests/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/Makefile b/tests/Makefile index 8d40e8da..ff4baaba 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -1,4 +1,6 @@ +.PHONY: all all: test-fstar test-coq test-lean test-hol4 +.PHONY: test-% test-%: cd $* && $(MAKE) all |