diff options
| author | Pierre-Marie Pédrot | 2019-10-09 10:38:51 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-18 20:15:27 +0200 |
| commit | cd03a27b917dedc129af980a6099b20134cba9f5 (patch) | |
| tree | df60a9c4615067c39fad99e6e1cb05a427eb4b2a /Makefile.build | |
| parent | 3e5a44e099d3fe847693887a09b57dfb4e2349e8 (diff) | |
Adding a test for votour.
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 35f5e26272..ed4cde2b16 100644 --- a/Makefile.build +++ b/Makefile.build @@ -81,7 +81,7 @@ coq.timing.diff: coqlib.timing.diff # shouldn't be done in a same make -j... run, otherwise both ocamlc and # ocamlopt might race for access to the same .cmi files. -byte: coqbyte coqide-byte pluginsbyte printers +byte: coqbyte coqide-byte pluginsbyte printers bin/votour.byte .PHONY: world coq byte world.timing.diff coq.timing.diff |