ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

run/depot_autopilot: power off before reboot

Browse Source
This commit is contained in:
Martin Stein 2018-11-20 16:34:31 +01:00 committed by Christian Helmuth
parent eb7c367e25
commit c65a13b3a4
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/gems/run/depot_autopilot.run
View File

@ -579,6 +579,7 @@ while {1} {
# shut-down running system
exec kill -9 [exp_pid -i $serial_id]
run_power_off
# remember result of last test
if {$previous_results != ""} {