From 1b059649ffd0e3f49c5a41134075195f782083dc Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 11 Jun 2019 10:35:36 +0200
Subject: [PATCH] depot_autopilot: skip test-spark_exception on ARM

Issue #3395
---
 repos/gems/run/depot_autopilot.run | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index e33032263..72f95422e 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -756,18 +756,19 @@ proc non_executable_supported { } {
 #
 # Whether to skip a test - if undefined for a test, the test is not skipped
 #
-set skip_test(test-python)          [expr ![have_spec x86]]
-set skip_test(test-slab)            [expr [get_cmd_switch --autopilot] && [have_include "power_on/qemu"]]
-set skip_test(test-rm_nested)       [expr [have_spec linux]]
 set skip_test(test-fault_detection) [expr [have_spec pistachio] || [have_spec fiasco]]
 set skip_test(test-fs_packet)       [expr [get_cmd_switch --autopilot] && [have_include "power_on/qemu"]]
+set skip_test(test-libc)            [expr [have_spec sel4] || [have_spec rpi] || [expr [have_spec pbxa9] && [have_spec foc]] || [expr [have_spec imx53] && [have_spec trustzone]]]
+set skip_test(test-lx_block)        [expr ![have_spec linux]]
+set skip_test(test-python)          [expr ![have_spec x86]]
 set skip_test(test-rm_fault)        [expr [have_spec linux] || ![non_executable_supported]]
 set skip_test(test-rm_fault_no_nox) [expr [have_spec linux] || ![skip_test test-rm_fault]]
-set skip_test(test-lx_block)        [expr ![have_spec linux]]
+set skip_test(test-rm_nested)       [expr [have_spec linux]]
+set skip_test(test-slab)            [expr [get_cmd_switch --autopilot] && [have_include "power_on/qemu"]]
+set skip_test(test-solo5)           [expr ![have_spec x86_64]]
+set skip_test(test-spark_exception) [expr [have_spec arm]]
 set skip_test(test-tcp_bulk_lwip)   [expr ![have_spec x86]]
 set skip_test(test-tcp_bulk_lxip)   [expr ![have_spec x86]]
-set skip_test(test-solo5)           [expr ![have_spec x86_64]]
-set skip_test(test-libc)            [expr [have_spec sel4] || [have_spec rpi] || [expr [have_spec pbxa9] && [have_spec foc]] || [expr [have_spec imx53] && [have_spec trustzone]]]
 
 #
 # FIXME