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 50695f2b05..f94784f7e1 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -22,7 +22,7 @@ DYNLINKDIR=$(ROOTDIR)/otherlibs/dynlink UNIXDIR=$(ROOTDIR)/otherlibs/$(UNIXLIB) CAMLC=$(BEST_OCAMLC) -g -nostdlib -I $(ROOTDIR)/stdlib -COMPFLAGS=$(INCLUDES) -absname -w +a-4-9-41-42-44-45-48 -warn-error A \ +COMPFLAGS=$(INCLUDES) -absname -w +a-4-9-41-42-44-45-48 -warn-error +A \ -safe-string -strict-sequence -strict-formats LINKFLAGS=-linkall -I $(UNIXDIR) -I $(DYNLINKDIR) OCAMLLEX ?= $(BEST_OCAMLLEX) |