From 4d72f292cb8adf7529ec1d9ab8fb6728e9717543 Mon Sep 17 00:00:00 2001
From: Stephan Bergmann <sbergman@redhat.com>
Date: Sun, 25 Nov 2018 17:27:28 +0100
Subject: 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
---
 distro-configs/Jenkins/linux_random.conf | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'distro-configs/Jenkins')

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++
-- 
cgit