diff --git a/OCamlMakefile b/OCamlMakefile index 8a683c1..3968988 100644 --- a/OCamlMakefile +++ b/OCamlMakefile @@ -614,7 +614,7 @@ endif ifneq ($(strip $(OBJ_LINK)),) ifdef CREATE_LIB - OBJS_LIBS := -ccopt "$(CFLAGS)" -cclib -l$(CLIB_BASE) $(CLIBS_OPTS) $(MAYBE_IDL) + OBJS_LIBS := -cclib -l$(CLIB_BASE) $(CLIBS_OPTS) $(MAYBE_IDL) else OBJS_LIBS := $(OBJ_LINK) $(CLIBS_OPTS) $(MAYBE_IDL) endif