diff options
| author | Maxime Dénès | 2019-02-04 13:05:00 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-02-04 13:05:00 +0100 |
| commit | 129d47518ae950c6ef1b69763e93cd70c14863f6 (patch) | |
| tree | e5ae9646636c50f07c3b60e08eccb76e5b6eff96 /test-suite/Makefile | |
| parent | 0be49a49c41e28b2015440723882e0ca15c02d5e (diff) | |
| parent | 103f59ed6b8174ed9359cb11c909f1b2219390c9 (diff) | |
Merge PR #8690: [toplevel] Split interactive toplevel and compiler binaries.
Reviewed-by: maximedenes
Ack-by: ppedrot
Diffstat (limited to 'test-suite/Makefile')
| -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 c55e15858a..cafc9a744c 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -42,7 +42,7 @@ coqc_boot := $(BIN)coqc -coqlib $(LIB) -boot -q -test-mode -R prerequisite TestS coqc := $(BIN)coqc -coqlib $(LIB) -R prerequisite TestSuite $(COQFLAGS) coqchk := $(BIN)coqchk -coqlib $(LIB) -R prerequisite TestSuite coqdoc := $(BIN)coqdoc -coqtop := $(BIN)coqtop -batch -coqlib $(LIB) -boot -q -test-mode -R prerequisite TestSuite +coqtop := $(BIN)coqtop -coqlib $(LIB) -boot -q -test-mode -R prerequisite TestSuite coqtopbyte := $(BIN)coqtop.byte coqc_interactive := $(coqc) -async-proofs-cache force |