Skip to content

Commit 63db8c1

Browse files
mshinwellpoechsel
authored andcommitted
flambda-backend: To upstream: stop using -O3 in otherlibs/Makefile.otherlibs.common
1 parent eb2f1ed commit 63db8c1

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

otherlibs/Makefile.otherlibs.common

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -34,9 +34,6 @@ OC_CPPFLAGS += -I$(ROOTDIR)/runtime $(EXTRACPPFLAGS)
3434
# Compilation options
3535
COMPFLAGS=-absname -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g \
3636
-safe-string -strict-sequence -strict-formats $(EXTRACAMLFLAGS)
37-
ifeq "$(FLAMBDA)" "true"
38-
OPTCOMPFLAGS += -O3
39-
endif
4037
MKLIB=$(CAMLRUN) $(ROOTDIR)/tools/ocamlmklib
4138

4239
# Variables that must be defined by individual libraries:

0 commit comments

Comments
 (0)