From 0205ff13943d75376764c619a9b552a675583c94 Mon Sep 17 00:00:00 2001
From: Maximilien Colange <colange@lrde.epita.fr>
Date: Tue, 22 May 2018 13:57:00 +0200
Subject: [PATCH] build with a large spot::acc_cond::mark_t

* .gitlab-ci.yml: here
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2604ce52b..4dc978c85 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ debian-stable-gcc:
   image: registry.lrde.epita.fr/spot-debuild:stable
   script:
     - autoreconf -vfi
-    - ./configure
+    - ./configure --enable-nb-acc=256
     - make
     - make distcheck
   artifacts: