From cbe81d35b9f62c6159493674c474674aa6ad9125 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 24 Feb 2021 12:04:56 +0100
Subject: [PATCH] autopilot: disable run script not supported by riscv

Issue #4021
---
 repos/dde_rump/run/libc_vfs_fs_ext2.run | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/dde_rump/run/libc_vfs_fs_ext2.run b/repos/dde_rump/run/libc_vfs_fs_ext2.run
index 42f1b885d1..581236094d 100644
--- a/repos/dde_rump/run/libc_vfs_fs_ext2.run
+++ b/repos/dde_rump/run/libc_vfs_fs_ext2.run
@@ -1,3 +1,8 @@
+if {[get_cmd_switch --autopilot] && [have_board riscv_qemu]} {
+	puts "Autopilot mode is not supported on this platform."
+	exit 0
+}
+
 set mkfs_cmd  [installed_command mke2fs]
 set mkfs_opts "-F"