From 069d17f4f138fd779eff589119a7783784ababd9 Mon Sep 17 00:00:00 2001
From: Jim Fehrle <jfehrle@sbcglobal.net>
Date: Thu, 28 Jun 2018 13:04:27 -0700
Subject: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to
 coqtop.opt$(EXE). Fixes #7758.

---
 Makefile.common | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 5b1def40a..1506bfcad 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)
-- 
cgit v1.2.3