mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 18:06:50 +00:00
parent
1d551bd967
commit
cbe81d35b9
@ -1,3 +1,8 @@
|
|||||||
|
if {[get_cmd_switch --autopilot] && [have_board riscv_qemu]} {
|
||||||
|
puts "Autopilot mode is not supported on this platform."
|
||||||
|
exit 0
|
||||||
|
}
|
||||||
|
|
||||||
set mkfs_cmd [installed_command mke2fs]
|
set mkfs_cmd [installed_command mke2fs]
|
||||||
set mkfs_opts "-F"
|
set mkfs_opts "-F"
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user