diff options
Diffstat (limited to 'debugger')
| -rw-r--r-- | debugger/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 7712bea0a2..45556a241d 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -21,7 +21,7 @@ include $(ROOTDIR)/Makefile.best_binaries DYNLINKDIR=$(ROOTDIR)/otherlibs/dynlink UNIXDIR=$(ROOTDIR)/otherlibs/$(UNIXLIB) -CAMLC=$(BEST_OCAMLC) -g -nostdlib -I $(ROOTDIR)/stdlib +CAMLC=$(BEST_OCAMLC) $(STDLIBFLAGS) -g COMPFLAGS=$(INCLUDES) -absname -w +a-4-9-41-42-44-45-48-70 -warn-error +A \ -safe-string -strict-sequence -strict-formats LINKFLAGS=-linkall -I $(UNIXDIR) -I $(DYNLINKDIR) |