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

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
4d72f292 · Stephan Bergmann · ab8454eb · 4d72f292
Kaydet (Commit) 4d72f292 authored Kas 25, 2018 tarafından Stephan Bergmann
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

linux_random.conf distro-configs/Jenkins/linux_random.conf +2 -0

No files found.
--- a/distro-configs/Jenkins/linux_random.conf
+++ b/distro-configs/Jenkins/linux_random.conf
 --enable-fuzz-options
+CC=/opt/rh/devtoolset-7/root/usr/bin/gcc
+CXX=/opt/rh/devtoolset-7/root/usr/bin/g++