From 3494b589ec89904266329f0022f8b06ae92a7775 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Wed, 22 Jan 2020 12:27:49 +0100
Subject: [PATCH] Test exits must propagate

When a test component exits this needs to be caught by a test harness,
therefore the intermediate init needs to exit as well.
---
 tests/libc.dhall         | 1 +
 tests/pci.dhall          | 1 +
 tests/signal.dhall       | 1 +
 tests/solo5/simple.dhall | 1 +
 4 files changed, 4 insertions(+)

diff --git a/tests/libc.dhall b/tests/libc.dhall
index 065972c..52d19d4 100644
--- a/tests/libc.dhall
+++ b/tests/libc.dhall
@@ -12,6 +12,7 @@ in    λ ( _
             { test-libc =
                   Genode.Init.Start::{
                   , binary = "test-libc"
+                  , exitPropagate = True
                   , resources = { caps = 200, ram = Genode.units.MiB 400 }
                   , routes = [ Genode.ServiceRoute.parent "Timer" ]
                   , config =
diff --git a/tests/pci.dhall b/tests/pci.dhall
index bcb09db..32a6ced 100644
--- a/tests/pci.dhall
+++ b/tests/pci.dhall
@@ -12,6 +12,7 @@ in  { config =
               { test-pci =
                   Genode.Init.Start::{
                   , binary = "test-pci"
+                  , exitPropagate = True
                   , resources = { caps = 96, ram = Genode.units.MiB 2 }
                   , routes =
                       [ Genode.ServiceRoute.child "Platform" "platform_drv" ]
diff --git a/tests/signal.dhall b/tests/signal.dhall
index 4fd961f..5021eef 100644
--- a/tests/signal.dhall
+++ b/tests/signal.dhall
@@ -12,6 +12,7 @@ in  { config =
               { test-signal =
                   Genode.Init.Start::{
                   , binary = "test-signal"
+                  , exitPropagate = True
                   , resources = { caps = 500, ram = Genode.units.MiB 10 }
                   , routes = [ Genode.ServiceRoute.parent "Timer" ]
                   }
diff --git a/tests/solo5/simple.dhall b/tests/solo5/simple.dhall
index ae230a1..e641f8f 100644
--- a/tests/solo5/simple.dhall
+++ b/tests/solo5/simple.dhall
@@ -10,6 +10,7 @@ in    λ(testBinary : Genode.Prelude.Map.Entry Text Text)
                 { solo5 =
                     Genode.Init.Start::{
                     , binary = testBinary.mapKey
+                    , exitPropagate = True
                     , resources = { caps = 256, ram = Genode.units.MiB 3 }
                     , routes = [ Genode.ServiceRoute.parent "Timer" ]
                     , config =