diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2015-07-22 13:27:17 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2015-07-22 13:27:17 +0000 |
commit | 5afcc281dd574df6d02c0443191bdadef0434824 (patch) | |
tree | 93b71079bf2f5c3f5f9b6ae105b2b4d2c18eed02 /otherlibs/Makefile | |
parent | 6a693425d5d614a7e75a5c5aa6514538eaca0a6e (diff) | |
download | ocaml-5afcc281dd574df6d02c0443191bdadef0434824.tar.gz |
remove redundant -O option from C compiler arguments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/Makefile')
-rw-r--r-- | otherlibs/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index ff4dbb09ef..3ca2a487ff 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -16,8 +16,7 @@ CAMLC=$(CAMLRUN) $(ROOTDIR)/ocamlc -nostdlib -I $(ROOTDIR)/stdlib CAMLOPT=$(CAMLRUN) $(ROOTDIR)/ocamlopt -nostdlib \ -I $(ROOTDIR)/stdlib -COPTFLAG=-O -CFLAGS=-I$(ROOTDIR)/byterun $(COPTFLAG) $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS) +CFLAGS=-I$(ROOTDIR)/byterun $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS) include ../Makefile.shared # Note .. is the current directory (this makefile is included from |