diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2018-11-25 18:03:33 +0100 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2018-11-25 18:03:33 +0100 |
commit | 74d6476a045ff2cad36deac51228712d992fb98b (patch) | |
tree | ab799401c38285c56c0209b8c3127c119f7e052b /distro-configs | |
parent | d27d75f86cf8ea4fd87e2cd64b58cc8c0ac0029a (diff) |
Enabling Developer Toolset 7 for Jenkins' lo_callgrind_linux
...aka "Callgrind Linux", <https://ci.libreoffice.org/job/lo_callgrind_linux/>
Change-Id: I518e579ec4ca7b36f700ed412d86feef37c3e203
Diffstat (limited to 'distro-configs')
-rw-r--r-- | distro-configs/Jenkins/PerfSuite_Linux.conf | 2 |
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++ |