summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStephan Bergmann <sbergman@redhat.com>2018-11-25 18:03:33 +0100
committerStephan Bergmann <sbergman@redhat.com>2018-11-25 18:03:33 +0100
commit74d6476a045ff2cad36deac51228712d992fb98b (patch)
treeab799401c38285c56c0209b8c3127c119f7e052b
parentd27d75f86cf8ea4fd87e2cd64b58cc8c0ac0029a (diff)
Enabling Developer Toolset 7 for Jenkins' lo_callgrind_linux
...aka "Callgrind Linux", <https://ci.libreoffice.org/job/lo_callgrind_linux/> Change-Id: I518e579ec4ca7b36f700ed412d86feef37c3e203
-rw-r--r--distro-configs/Jenkins/PerfSuite_Linux.conf2
1 files changed, 2 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/PerfSuite_Linux.conf b/distro-configs/Jenkins/PerfSuite_Linux.conf
index fcb6009bec03..504ee92d1fe3 100644
--- a/distro-configs/Jenkins/PerfSuite_Linux.conf
+++ b/distro-configs/Jenkins/PerfSuite_Linux.conf
@@ -6,3 +6,5 @@
--disable-ccache
--enable-symbols
--enable-mergelibs
+CC=/opt/rh/devtoolset-7/root/usr/bin/gcc
+CXX=/opt/rh/devtoolset-7/root/usr/bin/g++