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

tool/run: extract function to copy files

Browse Source 
Issue #4073
This commit is contained in:
Tomasz Gajewski
2021-04-14 10:10:25 +02:00
committed by Norman Feske
parent 507a7789fb
commit f49ec5b171
21 changed files with 67 additions and 61 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
tool/run/boot_dir/fiasco
View File

@@ -27,9 +27,9 @@ proc run_boot_dir {binaries} {
if {[llength $targets]} { build $targets }
if {$kernel_arg != ""} {
file copy -force [pwd]/bin/fiasco [run_dir]/genode/fiasco
file copy -force [pwd]/bin/sigma0-fiasco [run_dir]/genode/sigma0-fiasco
file copy -force [pwd]/bin/bootstrap-fiasco [run_dir]/genode/bootstrap-fiasco
copy_file [pwd]/bin/fiasco [run_dir]/genode/fiasco
copy_file [pwd]/bin/sigma0-fiasco [run_dir]/genode/sigma0-fiasco
copy_file [pwd]/bin/bootstrap-fiasco [run_dir]/genode/bootstrap-fiasco
}
build_core_image $binaries
@@ -39,9 +39,9 @@ proc run_boot_dir {binaries} {
# we can remove [run_dir]/genode after the core image has been built.
#
exec mkdir -p [run_dir]/boot
file copy -force [run_dir]/genode/fiasco [run_dir]/boot/kernel
file copy -force [run_dir]/genode/sigma0-fiasco [run_dir]/boot/sigma0
file copy -force [run_dir]/genode/bootstrap-fiasco [run_dir]/boot/bootstrap
copy_file [run_dir]/genode/fiasco [run_dir]/boot/kernel
copy_file [run_dir]/genode/sigma0-fiasco [run_dir]/boot/sigma0
copy_file [run_dir]/genode/bootstrap-fiasco [run_dir]/boot/bootstrap
remove_genode_dir
exec mv [run_dir]/image.elf [run_dir]/boot/image.elf