mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
run: non-fatal exit on unsupported base build config
The kernel-specific boot dir scripts exit with 0 and log "Test requires..." to inform the logger frontend of the base-archive unavailability.
This commit is contained in:
@@ -213,5 +213,13 @@ proc run_boot_dir {binaries} {
|
||||
##
|
||||
# Base source archive within depot
|
||||
#
|
||||
proc base_src { } { return base-foc }
|
||||
proc base_src { } {
|
||||
|
||||
if {[have_spec x86]} { return base-foc }
|
||||
|
||||
global specs
|
||||
|
||||
puts stderr "Test requires base-foc kernel archive, which is missing for this build configuration"
|
||||
puts stderr " SPECS=\"$specs\""
|
||||
exit 0
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user