From c8a90d1e01c1ac65ddab28510ad14ef890f56fdc Mon Sep 17 00:00:00 2001
From: Gabriel Ferreira <gabrielcarvfer@gmail.com>
Date: Mon, 29 May 2023 17:55:18 -0300
Subject: [PATCH] ci: Add the EXTRA_OPTIONS variable for uncommon configuration
 settings

---
 utils/tests/gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/tests/gitlab-ci.yml b/utils/tests/gitlab-ci.yml
index d222d1678..fa687f218 100644
--- a/utils/tests/gitlab-ci.yml
+++ b/utils/tests/gitlab-ci.yml
@@ -44,6 +44,7 @@ workflow:
     - export CCACHE_DIR=${PWD}/$CCACHE_BASEDIR_VALUE
     - export MPI_CI=1
     - CXX=$COMPILER ./ns3 configure -d $MODE -GNinja --enable-examples --enable-tests --enable-asserts $ENABLE_MPI
+      $EXTRA_OPTIONS
     - ccache -z
     - if [[ "$CI_JOB_STAGE" == "build" ]];
       then ./ns3 build;