From 9f02151d0b513e017a20e9d17f63c2da5525995a Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 28 May 2019 11:22:24 +0200
Subject: [PATCH] seoul-auto: disable autopilot test on qemu x86_32

Issue #3373
---
 repos/ports/run/seoul-auto.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/seoul-auto.run b/repos/ports/run/seoul-auto.run
index c5dbc6c138..07fdd8984a 100644
--- a/repos/ports/run/seoul-auto.run
+++ b/repos/ports/run/seoul-auto.run
@@ -9,7 +9,7 @@
 
 assert_spec x86
 
-if { [get_cmd_switch --autopilot] && ![have_include "power_on/qemu"] && [have_spec x86_32] } {
+if { [get_cmd_switch --autopilot] && [have_spec x86_32] } {
 	puts "Run script does not support autopilot mode on 32 bit"
 	exit 0
 }