diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-10-13 09:07:29 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-10-13 09:07:29 +0000 |
| commit | a4e637ea622cf33b4c0870a98c6b1db0090f8e38 (patch) | |
| tree | 856ed0e04436ee42a6829a5bef7f3e7629b43511 /ocamldoc/odoc_exception.ml | |
| parent | c0b1ae096e0891ff1ec9b4f34fc65bd03de3fc70 (diff) | |
Reflecting commit 15498 on version/4.02:
PR#6588 part 2: for ARMv4 and ARMv5, make sure architectural constraints
on the "smull" instruction are respected. (Patch by Mark Shinwell.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_exception.ml')
0 files changed, 0 insertions, 0 deletions