mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-08 03:45:24 +00:00
Blacklist noux_tool_chain run scripts on Linux
This commit is contained in:
parent
47bb7da22f
commit
7b3dd51771
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user