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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4787377ea..0bfac2c38 100644
--- a/Makefile
+++ b/Makefile
@@ -211,7 +211,7 @@ archclean: clean-ide optclean voclean
 	rm -f $(ALLSTDLIB).*
 
 optclean:
-	rm -f $(COQTOPEXE) $(CHICKEN) $(TOPBIN)
+	rm -f $(COQTOPEXE) $(CHICKEN) $(TOPBINOPT)
 	rm -f $(TOOLS) $(PRIVATEBINARIES) $(CSDPCERT)
 	find . -name '*.cmx' -o -name '*.cmx[as]' -o -name '*.[soa]' -o -name '*.so' | xargs rm -f
 
-- 
cgit v1.2.3