From 4a88beff476d2c27eae381bc8a61f777015c0617 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 9 Mar 2020 21:57:46 -0400
Subject: [gitlab] Increase flambda stack size.

See https://github.com/ocaml/ocaml/issues/7842
---
 .gitlab-ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ebeee0d4e4..df71ab3c2f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -103,6 +103,9 @@ before_script:
   interruptible: true
   dependencies: []
   script:
+    # flambda can be pretty stack hungry, specially with -O3
+    # See also https://github.com/ocaml/ocaml/issues/7842#issuecomment-596863244
+    - ulimit -s 16384
     - set -e
     - make -f Makefile.dune world
     - set +e
-- 
cgit v1.2.3