From 921ab575c71f59ebd76147fe6ef40a727ab78768 Mon Sep 17 00:00:00 2001
From: Ben Davis <ben@galois.com>
Date: Fri, 21 Jun 2024 09:35:08 -0400
Subject: [PATCH] binja: explicitly specify expected platform for pate
 container

Match platform in Dockerfile, avoid platform mismatch warning on non-native platforms (e.g. arm64 macs)
---
 pate_binja/run-pate.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pate_binja/run-pate.sh b/pate_binja/run-pate.sh
index bd6881a9..f842d827 100644
--- a/pate_binja/run-pate.sh
+++ b/pate_binja/run-pate.sh
@@ -5,7 +5,7 @@ if [ "$PATE_BINJA_MODE" = "BUILD" ]
 then
     pate="$PATE/pate.sh"
 else
-    pate="docker run --rm -i -v .:/work --workdir=/work pate"
+    pate="docker run --platform linux/amd64 --rm -i -v .:/work --workdir=/work pate"
 fi
 
 exec $pate "$@"