From 17afe8bf4067baeb42dc8e14c876b5e652455d47 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Thu, 7 Nov 2019 16:03:26 +0100
Subject: [PATCH] jdk: support ARMv7 and x86_64 only in java.run

---
 run/java.run | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/run/java.run b/run/java.run
index 7c28049..e7a10a7 100644
--- a/run/java.run
+++ b/run/java.run
@@ -1,3 +1,9 @@
+
+if {![have_spec x86_64] && ![have_spec arm_v7]} {
+	puts "Unsupported platform. Valid are x86_64 and arm_v7 platforms."
+	exit 0
+}
+
 set build_components {
 	core init
 	timer