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 != ""} {