Backport PR #9998: coq_makefile: do not pass -opt/-byte to coqc (fix #…

…9974)
coq · Apr 29, 2019 · bb5719d · bb5719d
2 parents e01d941 + 8e0e6e0
commit bb5719d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)