diff --git a/repos/ports/run/noux_tool_chain_auto.run b/repos/ports/run/noux_tool_chain_auto.run index eb8787b14..baaa0c8ab 100644 --- a/repos/ports/run/noux_tool_chain_auto.run +++ b/repos/ports/run/noux_tool_chain_auto.run @@ -19,7 +19,8 @@ if {[get_cmd_switch --autopilot] && [have_include "power_on/qemu"]} { exit 0 } -if {[have_spec pistachio] || [have_spec sel4]} { +if {[have_spec pistachio] || [have_spec sel4] || + [expr [have_spec foc] && [have_spec imx7d_sabre]] } { puts "Platform is unsupported." exit 0 }