From a7ff30d5a4cbbdd28425770d2a2d06a66db8bce4 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 1 Apr 2024 15:31:09 +0200
Subject: [PATCH] file_vault_client.run: disable for riscv

Ref #5148
---
 repos/gems/run/file_vault_client.run | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/gems/run/file_vault_client.run b/repos/gems/run/file_vault_client.run
index ad6f1b390d..d82d82bccf 100644
--- a/repos/gems/run/file_vault_client.run
+++ b/repos/gems/run/file_vault_client.run
@@ -1,3 +1,8 @@
+if {[have_spec riscv]} {
+	puts "\n Run script is not supported on this platform. \n";
+	exit 0
+}
+
 proc jent_avail { } {
 	if {[have_board pbxa9]} { return 0 }
 	if {[have_board zynq_qemu]} { return 0 }