diff options
| author | Pierre-Marie Pédrot | 2017-07-26 16:38:52 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-26 17:28:46 +0200 |
| commit | 2a74da7b6f275634fd8ed9c209edc73f2ae15427 (patch) | |
| tree | cf120c751315f2e5f70bc8fc10209f962cf7d370 /Makefile | |
| parent | cfb181899cdd076fb7f2e061089ba76067e47ccc (diff) | |
Adding a file for testing typing.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -10,3 +10,7 @@ clean: Makefile.coq Makefile.coq: _CoqProject $(COQBIN)/coq_makefile -f _CoqProject -o Makefile.coq + +tests: all + @$(MAKE) -C tests -s clean + @$(MAKE) -C tests -s all |