diff options
| author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2019-07-12 09:09:55 +0000 |
|---|---|---|
| committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2019-07-12 09:09:55 +0000 |
| commit | 1d95700733a09b6eb0095218f86fba0cb7b8ab69 (patch) | |
| tree | 947a5779b15ad72132bd3b6c4bfa17f2ffc83d49 /Mk | |
| parent | 971f14ce95bbd570b9aa5e2b8e062e9879ace54f (diff) | |
| download | freebsd-ports-1d95700733a09b6eb0095218f86fba0cb7b8ab69.zip | |
lang/ocaml: fix on powerpc64
powerpc64 needs to be put to configure script to be recognized.
PR: 238788
Approved by: michipili@gmail.com (maintainer timeout), tcberner (mat)
Differential Revision: https://reviews.freebsd.org/D20891
Diffstat (limited to 'Mk')
0 files changed, 0 insertions, 0 deletions