From 554a100407b1453ce2726831ea7d5ec950e472c8 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 11 Dec 2018 10:12:32 +0100
Subject: [PATCH] wm.run: build decorator, use wm.config from repo

With these little tweaks, the run script becomes more convenient as a
testing ground.

Issue #3094
---
 repos/gems/run/wm.run | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/repos/gems/run/wm.run b/repos/gems/run/wm.run
index 389e475a3a..329499d7e9 100644
--- a/repos/gems/run/wm.run
+++ b/repos/gems/run/wm.run
@@ -149,8 +149,10 @@ set fd [open [run_dir]/genode/focus w]
 puts $fd "<focus label=\"wm -> wm -> \"/>"
 close $fd
 
-build { server/nitpicker server/wm test/nitpicker }
+file copy -force [genode_dir]/repos/gems/recipes/raw/motif_wm/wm.config [run_dir]/genode/
 
-build_boot_image { nitpicker wm testnit }
+build { app/decorator server/nitpicker server/wm test/nitpicker }
+
+build_boot_image { decorator nitpicker wm testnit }
 
 run_genode_until forever