diff options
Diffstat (limited to 'debugger/Makefile')
| -rw-r--r-- | debugger/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 47df37bc86..9850f27ae6 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -23,7 +23,7 @@ UNIXDIR=$(ROOTDIR)/otherlibs/unix 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 + -strict-sequence -strict-formats LINKFLAGS=-linkall -I $(UNIXDIR) -I $(DYNLINKDIR) OC_OCAMLDEPDIRS = $(DIRECTORIES) |