From da502dd0365d64d014ddf527a00e295417dbad95 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Mon, 11 Feb 2019 14:41:14 +0100
Subject: [PATCH] muen: disable SMP test on Muen

---
 repos/base/run/smp.run | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/base/run/smp.run b/repos/base/run/smp.run
index 8f33b3f29..c0cf1e54b 100644
--- a/repos/base/run/smp.run
+++ b/repos/base/run/smp.run
@@ -10,6 +10,11 @@ if { [get_cmd_switch --autopilot] && [have_include "power_on/qemu"] } {
 	exit 0
 }
 
+if { [have_spec muen] } {
+	puts "Run script is not supported on this platform"
+	exit 0
+}
+
 build "core init test/smp"
 
 create_boot_directory