denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

run: add support to preserve 'genode' directory

Browse Source 
Add '--preserve-genode-dir' to RUN_OPT in order to preserve the 'genode'
directory in '<build_dir>/var/run/<run-script>'
This commit is contained in:
Sebastian Sumpf
2018-05-16 11:03:59 +02:00
committed by Christian Helmuth
parent d00baf8db4
commit b6bc44fd10
8 changed files with 20 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/boot_dir/nova
View File

@@ -54,7 +54,7 @@ proc run_boot_dir {binaries} {
exec [cross_dev_prefix]objcopy -O elf32-i386 [run_dir]/genode/hypervisor [run_dir]/boot/hypervisor
exec [cross_dev_prefix]strip [run_dir]/boot/hypervisor
exec rm -rf [run_dir]/genode
remove_genode_dir
exec mv [run_dir]/image.elf [run_dir]/boot/image.elf