From 4dc8746cac24ba72a1ec4dfa764a1ae88ce79277 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 16 Sep 2014 16:57:59 +0200
Subject: Undo prints only if coqtop || emacs

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

(limited to 'test-suite')

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 0f7abb78e..74e806138 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -33,7 +33,7 @@ LIB := ..
 coqtop := $(BIN)coqtop -boot -q -batch -R prerequisite TestSuite
 bincoqc := $(BIN)coqc -coqlib $(LIB) -R prerequisite TestSuite
 
-command := $(coqtop) -top Top -load-vernac-source
+command := $(coqtop) -top Top -async-proofs-cache force -load-vernac-source
 coqc := $(coqtop) -compile
 coqdep := $(BIN)coqdep -coqlib $(LIB)
 
-- 
cgit v1.2.3