mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
autopilot: disable run script not supported by riscv
- libc and nic driver are currently not available on RISC-V issue #4021
This commit is contained in:
committed by
Norman Feske
parent
7318ca6084
commit
b6d20b4742
@@ -1,3 +1,8 @@
|
||||
if {[get_cmd_switch --autopilot] && [have_board riscv_qemu]} {
|
||||
puts "Autopilot mode is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
|
||||
create_boot_directory
|
||||
|
||||
import_from_depot [depot_user]/src/[base_src] \
|
||||
|
||||
Reference in New Issue
Block a user