diff --git a/tool/run/run b/tool/run/run index 48de66edbd..8bab1129d1 100755 --- a/tool/run/run +++ b/tool/run/run @@ -958,7 +958,7 @@ proc have_include { name } { # rename exit real_exit proc exit {{status 0}} { - run_power_off + catch {run_power_off} real_exit $status }