diff options
| author | Jim Fehrle | 2018-06-28 13:04:27 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2018-06-30 10:21:21 -0700 |
| commit | 069d17f4f138fd779eff589119a7783784ababd9 (patch) | |
| tree | 0a7fb0841703b7273f4609f3a0744e452239b78b /Makefile.common | |
| parent | 74640d2b8bc158b301c0646db19747a86313e25a (diff) | |
Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).
Fixes #7758.
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index 5b1def40aa..1506bfcadb 100644 --- a/Makefile.common +++ b/Makefile.common @@ -14,8 +14,8 @@ # Executables ########################################################################### -TOPBIN:=$(addsuffix .opt$(EXE), $(addprefix bin/, coqtop coqproofworker coqtacticworker coqqueryworker)) -TOPBYTE:=$(TOPBIN:.opt$(EXE)=.byte$(EXE)) +TOPBINOPT:=$(addsuffix .opt$(EXE), $(addprefix bin/, coqtop coqproofworker coqtacticworker coqqueryworker)) +TOPBYTE:=$(TOPBINOPT:.opt$(EXE)=.byte$(EXE)) COQTOPEXE:=bin/coqtop$(EXE) COQTOPBYTE:=bin/coqtop.byte$(EXE) |