mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-23 04:25:21 +00:00
parent
421d2bed40
commit
507a7789fb
@ -241,6 +241,7 @@ proc build_boot_image {binaries} {
|
||||
}
|
||||
}
|
||||
# determine which XSD file to use for the init config
|
||||
set init_xsd_file ""
|
||||
foreach xsd_file $xsd_files {
|
||||
set filename [file tail $xsd_file]
|
||||
if {$filename == "init.xsd"} {
|
||||
|
Loading…
x
Reference in New Issue
Block a user