From 1203c3717f0b7a3b01a73734d1cc3f7ec567d816 Mon Sep 17 00:00:00 2001
From: Janneke Nieuwenhuizen <janneke@gnu.org>
Date: Sun, 30 Apr 2023 12:29:48 +0200
Subject: [PATCH] REMOVEME Revert kaem build for x86_64 -- segfaults

---
 build-aux/build.sh.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build-aux/build.sh.in b/build-aux/build.sh.in
index 2a2cb3d0..82cf2d6f 100644
--- a/build-aux/build.sh.in
+++ b/build-aux/build.sh.in
@@ -102,7 +102,6 @@ fi
 )
 
 if test -n "$M2_PLANET" && (test "$mes_cpu" == "x86" \
-                                || test "$mes_cpu" == "x86_64" \
                                 || test "$mes_cpu" == "arm" ); then
     (
         . ${srcdest}build-aux/trace.sh