Enable developer mode in the GitLab CI builds

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2a394a2b62809dfff6fb8cda0b78b4a3486f92ea..2dc7ecd4acab679e8a0fbbb59612486f987d8e9e 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -88,7 +88,7 @@ stages:
     - export CCACHE_DIR="$CI_PROJECT_DIR/.ccache"
     - ./autogen.sh
   script:
-    - ./configure --with-libtool --disable-static --with-atf=/usr/local
+    - ./configure --enable-developer --with-libtool --disable-static --with-atf=/usr/local
     - make -j6 -k all V=1
   artifacts:
     expire_in: '1 hour'