ci: Add the EXTRA_OPTIONS variable for uncommon configuration settings

2023-05-29 17:55:18 -03:00
parent ead98fd84d
commit c8a90d1e01
1 changed files with 1 additions and 0 deletions
--- 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;