From 54b4c6e3f916f3913920bbd7a778f477543f0afb Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 9 Oct 2018 12:47:47 +0000
Subject: [test-suite] use “-async-proofs-cache force” when compiling

---
 test-suite/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 759cd99048..08ac34d1d6 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -44,7 +44,7 @@ coqdoc := $(BIN)coqdoc
 coqtopbyte := $(BIN)coqtop.byte
 
 coqtopload := $(coqtop) -async-proofs-cache force -load-vernac-source
-coqtopcompile := $(coqtop) -compile
+coqtopcompile := $(coqtop) -async-proofs-cache force -compile
 coqdep := $(BIN)coqdep -coqlib $(LIB)
 
 VERBOSE?=
-- 
cgit v1.2.3