diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-11-29 20:12:09 +0100 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-11-29 20:54:14 +0100 |
commit | c6e95e4a64a44527a5e2ead4ed7de79981c75159 (patch) | |
tree | 8b4ff4bae47ebea93b33d44de46f884ef59019e0 | |
parent | 42ebc0469bd89b89c33a2e0fcf758c9f1c654113 (diff) | |
download | ocaml-c6e95e4a64a44527a5e2ead4ed7de79981c75159.tar.gz |
bootstrap
Because debug-information has been enabled for compiler build
(GPR#300, e69ccdb), boot/ocamlc suffers a very large increase in size:
it goes from 1838126 bytes (around 1.75 MiB) to 9749343 bytes
(9.30 MiB), a 5.3x increase.
-rwxr-xr-x | boot/ocamlc | bin | 1838126 -> 9749343 bytes |
-rwxr-xr-x | boot/ocamldep | bin | 579423 -> 588100 bytes |
-rwxr-xr-x | boot/ocamllex | bin | 262851 -> 262605 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 736ca1203f..f1c1f28d09 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex 643130a403..c3bd6cec0a 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 2ad2e44082..76242dded4 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |