Be prudent, select -O2 optimization instead of -O3.
Be prudent, select -O2 optimization instead of -O3.


git-svn-id: a425a95bd31770e055ae67c9401328c01c6d2e17@16338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

msprotz/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,yunxing/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,eliberis/ocaml,eliberis/ocaml,msprotz/ocaml,eliberis/ocaml,yunxing/ocaml,eliberis/ocaml