ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

run: exit if boot modules are missing on linux

This commit is contained in:
Christian Helmuth 2019-08-21 12:13:43 +02:00
parent cc2828cf3a
commit 4967166811
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tool/run/boot_dir/linux
View File

@ -10,9 +10,19 @@ proc run_boot_dir {binaries} {
if {![file exists [run_dir]/genode/ld.lib.so]} { build { lib/ld/linux } }
set missing_boot_modules { }
foreach binary $binaries {
set src_binary_path "[pwd]/bin/[kernel_specific_binary $binary]"
exec ln -sf $src_binary_path [run_dir]/genode/$binary }
if {[file exists $src_binary_path]} {
exec ln -sf $src_binary_path [run_dir]/genode/$binary
} else {
lappend missing_boot_modules $binary
}
}
if {[llength $missing_boot_modules]} {
puts stderr "Missing boot modules: $missing_boot_modules"
exit -1
}
# check syntax of all boot modules named *.config
foreach file [glob -nocomplain [run_dir]/genode/*.config] {