mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
tiled_wm.run: message about fd limit on Linux
Taken from leitzentrale.run
This commit is contained in:
committed by
Christian Helmuth
parent
dcdd3bff94
commit
5335563a4b
@@ -12,6 +12,16 @@ if {[have_spec odroid_xu]} {
|
||||
exit 0
|
||||
}
|
||||
|
||||
if {[have_spec linux]} {
|
||||
set max_fds [exec bash -c "ulimit -n"]
|
||||
if {$max_fds < 4096} {
|
||||
puts stderr "\nMaximum number of file descriptors is too low for this run script."
|
||||
puts stderr "You may use the following command to increase the limit:\n"
|
||||
puts stderr " ulimit -n 4096\n"
|
||||
exit 1
|
||||
}
|
||||
}
|
||||
|
||||
#
|
||||
# Generate config
|
||||
#
|
||||
|
||||
Reference in New Issue
Block a user