summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorKate <kit.ty.kate@disroot.org>2022-03-07 17:17:57 +0000
committerKate <kit.ty.kate@disroot.org>2022-07-26 16:44:51 +0100
commitf70763971e615ff3363e1fa8c200aaeaa92ecebb (patch)
tree83499e755b68741f3ca4a657ae80515d292478b8 /configure
parent743dff56aa37d7b67d0265b8486afc824e4ba556 (diff)
downloadocaml-f70763971e615ff3363e1fa8c200aaeaa92ecebb.tar.gz
Enable native code on FreeBSD/aarch64
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 3 insertions, 1 deletions
diff --git a/configure b/configure
index da032aa067..a7f330f876 100755
--- a/configure
+++ b/configure
@@ -14443,7 +14443,9 @@ case $host in #(
arch=amd64; system=mingw64 ;; #(
aarch64-*-linux*) :
arch=arm64; system=linux ;; #(
- aarch64-*-openbsd*) :
+ aarch64-*-freebsd*) :
+ arch=arm64; system=freebsd ;; #(
+ aarch64-*-openbsd*) :
arch=arm64; system=openbsd ;; #(
*) :
;;