diff options
Diffstat (limited to 'stdlib')
| -rwxr-xr-x | stdlib/Makefile.shared | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/Makefile.shared b/stdlib/Makefile.shared index e9d5940a9..80c40d600 100755 --- a/stdlib/Makefile.shared +++ b/stdlib/Makefile.shared @@ -15,10 +15,10 @@ include ../config/Makefile RUNTIME=../boot/ocamlrun COMPILER=../ocamlc CAMLC=$(RUNTIME) $(COMPILER) -COMPFLAGS=-strict-sequence -w +33..39 -g -warn-error A -nostdlib +COMPFLAGS=-strict-sequence -w +33..39 -g -warn-error A -bin-annot -nostdlib OPTCOMPILER=../ocamlopt CAMLOPT=$(RUNTIME) $(OPTCOMPILER) -OPTCOMPFLAGS=-warn-error A -nostdlib -g +OPTCOMPFLAGS=-warn-error A -nostdlib -g -bin-annot CAMLDEP=../boot/ocamlrun ../tools/ocamldep OBJS=pervasives.cmo $(OTHERS) |