diff options
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/.ignore | 2 | ||||
| -rwxr-xr-x | boot/myocamlbuild.boot | bin | 441686 -> 0 bytes | |||
| -rwxr-xr-x | boot/ocamlc | bin | 1492578 -> 1527499 bytes | |||
| -rwxr-xr-x | boot/ocamldep | bin | 415087 -> 420563 bytes | |||
| -rwxr-xr-x | boot/ocamllex | bin | 181259 -> 183978 bytes |
5 files changed, 0 insertions, 2 deletions
diff --git a/boot/.ignore b/boot/.ignore index 8165156d9a..30c5866b7c 100644 --- a/boot/.ignore +++ b/boot/.ignore @@ -4,5 +4,3 @@ ocamlrun.exe ocamlyacc ocamlyacc.exe camlheader -myocamlbuild -myocamlbuild.native diff --git a/boot/myocamlbuild.boot b/boot/myocamlbuild.boot Binary files differdeleted file mode 100755 index 3437423b91..0000000000 --- a/boot/myocamlbuild.boot +++ /dev/null diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 96bd4ced63..60a2ecb429 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex 2e31e4c6e4..f2e26672a4 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 88da8bab4c..51eadf10ce 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |