From 2f6eda3e8d255f3617ee2bfc6e343151a0445e3b Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 9 Aug 2017 14:01:27 +0200
Subject: test-suite: depend on byte compilation too

coq-makefile's tests do depend on this
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.build b/Makefile.build
index 3d4b475dcd..2d8b37163c 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -540,7 +540,7 @@ MAKE_TSOPTS=-C test-suite -s VERBOSE=$(VERBOSE)
 
 check: validate test-suite
 
-test-suite: world $(ALLSTDLIB).v
+test-suite: world byte $(ALLSTDLIB).v
 	$(MAKE) $(MAKE_TSOPTS) clean
 	$(MAKE) $(MAKE_TSOPTS) all
 
-- 
cgit v1.2.3