ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 02:40:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

tool/run/boot_dir/linux: improve error message

Browse Source 
Also fix white space
This commit is contained in:
Norman Feske 2022-02-08 16:18:36 +01:00
parent 3b8fe1b410
commit bdc766980e
1 changed files with 23 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/boot_dir/linux
View File

@ -16,7 +16,7 @@ proc run_boot_dir {binaries} {
if {[file exists $src_binary_path]} {
exec ln -sf $src_binary_path [run_dir]/genode/$binary
} else {
lappend missing_boot_modules $binary
lappend missing_boot_modules [kernel_specific_binary $binary]
}
}
if {[llength $missing_boot_modules]} {