diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2023-11-09 17:36:09 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-12-21 11:05:31 +1100 |
| commit | 74fd7b3d32e19a0c15ec1202cf03c31aa353a9f7 (patch) | |
| tree | 722c98c9d6859156666c67ddf8dd630dc90ed821 /tools | |
| parent | 8b24aa36ba978eafc6114b6798b47b7bfecdca26 (diff) | |
tools/ci.sh: Set `ulimit -n` for unix CI.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index d3ae41158..95b1f19ff 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -6,6 +6,9 @@ else MAKEOPTS="-j$(sysctl -n hw.ncpu)" fi +# Ensure known OPEN_MAX (NO_FILES) limit. +ulimit -n 1024 + ######################################################################################## # general helper functions |