From: Stephane Glondu <steph@glondu.net>
Date: Wed, 24 Jul 2019 07:16:33 +0000 (+0200)
Subject: Add x32 to native architectures
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~33
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=5a8cafaa2a755406019f4b0812ce49c19d87770a;p=ocaml.git

Add x32 to native architectures
---

diff --git a/debian/native-archs b/debian/native-archs
index 6b492b06..a29f0093 100644
--- a/debian/native-archs
+++ b/debian/native-archs
@@ -1 +1 @@
-amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 lpia powerpc ppc64 ppc64el sparc s390x
+amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 lpia powerpc ppc64 ppc64el sparc s390x x32