diff options
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile index c9ce69c4a..12dc2d898 100644 --- a/otherlibs/unix/Makefile +++ b/otherlibs/unix/Makefile @@ -23,7 +23,7 @@ CFLAGS=-I../../byterun -O $(BYTECCCOMPOPTS) $(SHAREDCCCOMPOPTS) CAMLC=../../ocamlcomp.sh CAMLOPT=../../ocamlcompopt.sh MKLIB=../../boot/ocamlrun ../../tools/ocamlmklib -COMPFLAGS=-warn-error A +COMPFLAGS=-warn-error A -g OBJS=accept.o access.o addrofstr.o alarm.o bind.o chdir.o chmod.o \ chown.o chroot.o close.o closedir.o connect.o cst2constr.o cstringv.o \ |