diff --git a/ports/run/noux_tool_chain.inc b/ports/run/noux_tool_chain.inc index dce4c80a9..40bc9ddd0 100644 --- a/ports/run/noux_tool_chain.inc +++ b/ports/run/noux_tool_chain.inc @@ -7,6 +7,15 @@ # $platform_pkgs - names of platform-specific tar archives without the '.tar' extension # +# +# The Linux version of Noux lacks the support for the fork system call. Hence, +# the run script is expected to fail. +# +if {[have_spec linux]} { + puts "Linux is unsupported." + exit 0 +} + set build_components { core init drivers/timer noux/minimal lib/libc_noux drivers/framebuffer drivers/pci drivers/input