From 0d39e5c62a4eb11ac476966b870475d4074195bc Mon Sep 17 00:00:00 2001
From: Joris Vink <joris@coders.se>
Date: Mon, 29 Nov 2021 15:43:43 +0100
Subject: [PATCH] Allow setting of TARGET_PLATFORM.

This overrides the linux seccomp building, useful
for cross compiling Kore to other linux architectures.
---
 misc/linux-platform.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/misc/linux-platform.sh b/misc/linux-platform.sh
index 818e53b..01569e6 100755
--- a/misc/linux-platform.sh
+++ b/misc/linux-platform.sh
@@ -2,7 +2,12 @@
 #
 # Linux specific defines and system call maps.
 
-PLATFORM=$(uname -m)
+if [ -z "$TARGET_PLATFORM" ]; then
+	PLATFORM=$(uname -m)
+else
+	PLATFORM=$TARGET_PLATFORM
+fi
+
 BASE=$(dirname $0)
 
 case "$PLATFORM" in