From 44c0fe5abf98ee7bc02f7881a306a7096788629c Mon Sep 17 00:00:00 2001
From: Alexey Rybalchenko <alexryba@gmail.com>
Date: Wed, 28 Nov 2018 16:41:50 +0100
Subject: [PATCH] Set EXTRA_FLAGS in CI script

---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9275c992..a274c6af 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,7 @@ def jobMatrix(String prefix, List specs, Closure callback) {
         try {
           deleteDir()
           checkout scm
-          
+
           sh """\
             echo "export SIMPATH=\${SIMPATH_PREFIX}${spec.fairsoft}" >> Dart.cfg
             echo "export FAIRSOFT_VERSION=${spec.fairsoft}" >> Dart.cfg
@@ -31,6 +31,7 @@ def jobMatrix(String prefix, List specs, Closure callback) {
             echo "export SOURCEDIR=$PWD" >> Dart.cfg
             echo "export PATH=\\\$SIMPATH/bin:\\\$PATH" >> Dart.cfg
             echo "export GIT_BRANCH=$JOB_BASE_NAME" >> Dart.cfg
+            echo "export EXTRA_FLAGS='-DCMAKE_CXX_COMPILER=g++'" >> Dart.cfg
             echo "echo \\\$PATH" >> Dart.cfg
           '''
           sh 'cat Dart.cfg'