diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-06-20 13:39:09 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-06-20 14:01:42 +0200 |
| commit | a10a3f58064cf25ef9b16fc9203b3bd242d8bba1 (patch) | |
| tree | ec6201688180052a60c79b8fc62961df57323618 /otherlibs/Makefile | |
| parent | 5fb7d17524b98e84df5bb25773c65cc0a1f2ac56 (diff) | |
| download | ocaml-a10a3f58064cf25ef9b16fc9203b3bd242d8bba1.tar.gz | |
Rename build variable SHAREDCCCOMPOPTS to SHAREDLIB_CFLAGS
Diffstat (limited to 'otherlibs/Makefile')
| -rw-r--r-- | otherlibs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index f0697acd3b..b2034f5421 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -31,7 +31,7 @@ endif CAMLC=$(CAMLRUN) $(ROOTDIR)/ocamlc -nostdlib -I $(ROOTDIR)/stdlib CAMLOPT=$(CAMLRUN) $(ROOTDIR)/ocamlopt -nostdlib \ -I $(ROOTDIR)/stdlib -CFLAGS += $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS) +CFLAGS += $(SHAREDLIB_CFLAGS) $(EXTRACFLAGS) CPPFLAGS += -I$(ROOTDIR)/byterun # Compilation options |