From a0c71cffd4017c8d9c2124783e879c82ec237a75 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 24 Jun 2019 10:51:54 +0200
Subject: [PATCH] Solo5 tests require x86_64

---
 repos/libports/run/solo5.run      | 4 ++--
 repos/libports/run/solo5_ping.run | 2 +-
 repos/libports/run/solo5_ssp.run  | 4 ++--
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/repos/libports/run/solo5.run b/repos/libports/run/solo5.run
index 8b5e3b3c60..e0446ffd48 100644
--- a/repos/libports/run/solo5.run
+++ b/repos/libports/run/solo5.run
@@ -1,5 +1,5 @@
-if {![have_spec 64bit]} {
-	puts "\nSolo5 requires a 64bit architecture\n"
+if {![have_spec x86_64]} {
+	puts "\nTest requires x86_64\n"
 	exit 0
 }
 
diff --git a/repos/libports/run/solo5_ping.run b/repos/libports/run/solo5_ping.run
index 96ca697ea6..1218371cdd 100644
--- a/repos/libports/run/solo5_ping.run
+++ b/repos/libports/run/solo5_ping.run
@@ -1,5 +1,5 @@
 if {![have_spec x86_64]} {
-	puts "\nSolo5 requires a 64bit architecture\n"
+	puts "\nTest requires x86_64\n"
 	exit 0
 }
 
diff --git a/repos/libports/run/solo5_ssp.run b/repos/libports/run/solo5_ssp.run
index 658dc2bc74..fdd82beb1f 100644
--- a/repos/libports/run/solo5_ssp.run
+++ b/repos/libports/run/solo5_ssp.run
@@ -1,5 +1,5 @@
-if {![have_spec 64bit]} {
-	puts "\nSolo5 requires a 64bit architecture\n"
+if {![have_spec x86_64]} {
+	puts "\nTest requires x86_64\n"
 	exit 0
 }