From dddcd01010cbd6c1df1832b5069492d95880d5e5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 25 Apr 2019 13:44:40 +0200
Subject: coq_makefile: do not pass -opt/-byte to coqc (fix #9974)

---
 tools/CoqMakefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index 0236c549d5..51e0300182 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -176,7 +176,7 @@ COQCHKEXTRAFLAGS?=
 COQDOCEXTRAFLAGS?=
 
 # these flags do NOT contain the libraries, to make them easier to overwrite
-COQFLAGS?=-q $(OPT) $(OTHERFLAGS) $(COQEXTRAFLAGS)
+COQFLAGS?=-q $(OTHERFLAGS) $(COQEXTRAFLAGS)
 COQCHKFLAGS?=-silent -o $(COQCHKEXTRAFLAGS)
 COQDOCFLAGS?=-interpolate -utf8 $(COQDOCEXTRAFLAGS)
 
-- 
cgit v1.2.3