mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-16 07:27:35 +00:00
parent
60b3619a1b
commit
1c342e1bec
@ -2,7 +2,7 @@
|
||||
|
||||
if {[have_cmd_switch --autopilot]} {
|
||||
set current_date [clock format [clock seconds] -format %a]
|
||||
assert {$current_date == "Sat" || $current_date == "Sun"} \
|
||||
assert {$current_date == "Sat" || $current_date == "Sun"} {
|
||||
"Autopilot mode is not supported on this platform today."
|
||||
}
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user