[Libreoffice-commits] core.git: distro-configs/Jenkins

[Libreoffice Gerrit user]

 distro-configs/Jenkins/linux_random.conf |    2 ++
 1 file changed, 2 insertions(+)

New commits:
commit 4d72f292cb8adf7529ec1d9ab8fb6728e9717543
Author:     Stephan Bergmann <sbergman at redhat.com>
AuthorDate: Sun Nov 25 17:27:28 2018 +0100
Commit:     Stephan Bergmann <sbergman at redhat.com>
CommitDate: Sun Nov 25 17:27:28 2018 +0100

    Enabling Developer Toolset 7 for Jenkins' lo_tb_random_config_linux
    
    ...aka "Random Config Linux builder",
    <https://ci.libreoffice.org/job/lo_tb_random_config_linux/>
    
    Change-Id: I5a22526b8dcbed8e6fc9cd1fcc7db90774afb0ff

diff --git a/distro-configs/Jenkins/linux_random.conf b/distro-configs/Jenkins/linux_random.conf
index 4e71d38533f8..d8675f7af006 100644
--- a/distro-configs/Jenkins/linux_random.conf
+++ b/distro-configs/Jenkins/linux_random.conf
@@ -1 +1,3 @@
 --enable-fuzz-options
+CC=/opt/rh/devtoolset-7/root/usr/bin/gcc
+CXX=/opt/rh/devtoolset-7/root/usr/bin/g++