From b459f4384ded6d5a6fee30169f6c6514885cac57 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 25 Sep 2013 10:52:56 +0200
Subject: [PATCH] demo.run: Don't delete 'launchpad.config'

Deleting the generated 'launchpad.config' file is a bad idea because in
contrast to most base platforms, on Linux, we merely create symlinks
from the 'var/run/demo/' directory to the 'bin/' directory instead of
copying the files.
---
 os/run/demo.run | 2 --
 1 file changed, 2 deletions(-)

diff --git a/os/run/demo.run b/os/run/demo.run
index fe1b76c4c..aac739446 100644
--- a/os/run/demo.run
+++ b/os/run/demo.run
@@ -160,8 +160,6 @@ lappend_if [have_spec imx53]       boot_modules input_drv
 
 build_boot_image $boot_modules
 
-file delete -force bin/launchpad.config
-
 append qemu_args " -m 256 "
 
 run_genode_until forever