diff options
| author | Mark Shinwell <mshinwell@janestreet.com> | 2014-03-07 14:47:30 +0000 |
|---|---|---|
| committer | Mark Shinwell <mshinwell@janestreet.com> | 2014-03-07 14:47:30 +0000 |
| commit | 1f4de8b799dceee2b99a43bb51a66346d9409d68 (patch) | |
| tree | f3837d472e01427ab7909c78fa4be5dda57d1b15 /stdlib | |
| parent | ccf516168fc5c2570c77ed3dfe8ec973c342e97e (diff) | |
use -bin-annot when building
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14448 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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) |