diff options
| author | Vincent Laporte | 2018-10-09 12:47:47 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-09 12:47:47 +0000 |
| commit | 54b4c6e3f916f3913920bbd7a778f477543f0afb (patch) | |
| tree | 977b86972bc6804b5ea381b950eecf2a08f966c7 | |
| parent | 77a8c7667c9a5186f6ed24bbab766f50de058129 (diff) | |
[test-suite] use “-async-proofs-cache force” when compiling
| -rw-r--r-- | test-suite/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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?= |