mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
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.
This commit is contained in:
parent
db125bad51
commit
b459f4384d
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user