summaryrefslogtreecommitdiff
path: root/build-aux
diff options
context:
space:
mode:
authorXavier Leroy <xavierleroy@users.noreply.github.com>2021-11-06 19:12:32 +0100
committerGitHub <noreply@github.com>2021-11-06 19:12:32 +0100
commit6c2fb7bd99430e9da486549059d5b3232be2b080 (patch)
tree928e6342cbe2167863f5277850f504fd1d21cf5b /build-aux
parentb6aa64e7eed6f0a9eddc4e5d2e3e1be282f5b729 (diff)
parent13b536a232303920de84a18b96e68a27e32896a6 (diff)
downloadocaml-6c2fb7bd99430e9da486549059d5b3232be2b080.tar.gz
Merge pull request #10736 from xavierleroy/bigger-stack
Increase the max size of the native stack if possible
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions