diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2019-07-30 10:50:47 +0100 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2019-07-30 10:55:58 +0100 |
| commit | c43d198cfa8f2ccc6d11f4aa99491c7b4da1a210 (patch) | |
| tree | c7bfd8d5630650b81ceb32cf996bc093b624ab19 /Changes | |
| parent | 6cb5905c27d0d246e1386b3d67803ff57265f243 (diff) | |
| download | ocaml-c43d198cfa8f2ccc6d11f4aa99491c7b4da1a210.tar.gz | |
Merge pull request #8830 from glondu/4.08-configure-fixes
Small fixes in configure.ac
(cherry-picked from commit 1e610e2703927144786c2e62907cd07e28677a0f)
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -403,6 +403,10 @@ OCaml 4.08 maintenance branch: #2176). (Leo White, report by Andre Maroneze, review by Gabriel Scherer) +- #8830: configure script: fix tool prefix detection and Debian's armhf + detection + (Stéphane Glondu, review by David Allsopp) + OCaml 4.08.0 (13 June 2019) --------------------------- |