diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index 76a8f3e931..652906223b 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -180,7 +180,8 @@ proc log_core_start_node { } { proc log_kernel_start_node { } { - if {[have_board linux]} return + if {[have_board linux]} return + if {[have_board pinephone]} return return {