diff options
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/.cvsignore | 1 | ||||
| -rwxr-xr-x | boot/ocamlc | bin | 1043686 -> 1044084 bytes | |||
| -rwxr-xr-x | boot/ocamldep | bin | 289269 -> 289193 bytes | |||
| -rwxr-xr-x | boot/ocamllex | bin | 165495 -> 165443 bytes |
4 files changed, 1 insertions, 0 deletions
diff --git a/boot/.cvsignore b/boot/.cvsignore index b9c6f8584..a0a2356c9 100644 --- a/boot/.cvsignore +++ b/boot/.cvsignore @@ -3,3 +3,4 @@ ocamlrun ocamlyacc camlheader myocamlbuild +myocamlbuild.native diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 384b60060..808d5b87f 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex b5aa79394..106160ccc 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 8e7af0db7..15437fdb0 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |