From cd03a27b917dedc129af980a6099b20134cba9f5 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 9 Oct 2019 10:38:51 +0200
Subject: Adding a test for votour.

---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.build')

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
 
-- 
cgit v1.2.3