mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 16:14:13 +00:00
parent
eea00ab8b0
commit
54865fdd0f
@ -785,6 +785,9 @@ proc build_core_image {binaries} {
|
|||||||
build_core $core_obj $modules [run_dir]/image.elf [core_link_address]
|
build_core $core_obj $modules [run_dir]/image.elf [core_link_address]
|
||||||
exec [cross_dev_prefix]strip [run_dir]/image.elf
|
exec [cross_dev_prefix]strip [run_dir]/image.elf
|
||||||
|
|
||||||
|
# Save config part of the image.elf for easy inspection
|
||||||
|
exec cp -f [run_dir]/genode/config [run_dir].config
|
||||||
|
|
||||||
# remove individual binaries, which are now contained in 'image.elf'
|
# remove individual binaries, which are now contained in 'image.elf'
|
||||||
exec rm -rf [run_dir]/genode
|
exec rm -rf [run_dir]/genode
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user