diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-12-09 11:14:23 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-12-09 11:14:23 +0100 |
| commit | be4381dddf9f32282488f4eddde7af56794c8ed1 (patch) | |
| tree | 33c1f14e0d77340e75fcc115a0ad108b85de03a2 /boot | |
| parent | 281076376423eccea65a11973f0eef0e60c55fbb (diff) | |
| download | ocaml-be4381dddf9f32282488f4eddde7af56794c8ed1.tar.gz | |
When copying the new compilers to boot/, also strip the #! header. It is not needed and can cause spurious merge conflicts.
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 1918776 -> 1918738 bytes |
| -rwxr-xr-x | boot/ocamldep | bin | 589136 -> 589098 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 263346 -> 263308 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 050f760b4d..60b4364878 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex 701c67a00d..b422042c2e 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 17b05575e3..a3d4d0b658 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |