Skip to content

Commit eb2f1ed

Browse files
mshinwellpoechsel
authored andcommitted
flambda-backend: To upstream: stop using -O3 for dynlink/
1 parent 6682f8d commit eb2f1ed

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

otherlibs/dynlink/Makefile

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -33,9 +33,6 @@ OCAMLOPT=$(BEST_OCAMLOPT) -g -nostdlib -I $(ROOTDIR)/stdlib
3333
COMPFLAGS=-strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48-66 \
3434
-warn-error A \
3535
-bin-annot -safe-string -strict-formats
36-
ifeq "$(FLAMBDA)" "true"
37-
OPTCOMPFLAGS += -O3
38-
endif
3936

4037
LOCAL_SRC=dynlink_compilerlibs
4138

0 commit comments

Comments
 (0)