From c65a13b3a499592167a3a8569d9a76abbd7e3623 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Tue, 20 Nov 2018 16:34:31 +0100 Subject: [PATCH] run/depot_autopilot: power off before reboot --- repos/gems/run/depot_autopilot.run | 1 + 1 file changed, 1 insertion(+) diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index ed0002bf3c..ef33e94fa9 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -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 != ""} {