diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2018-11-25 17:27:28 +0100 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2018-11-25 17:27:28 +0100 |
| commit | 4d72f292cb8adf7529ec1d9ab8fb6728e9717543 (patch) | |
| tree | d411d281d2518b92cee79740224c002f5d844e1e /distro-configs | |
| parent | ab8454eb26f72f2d4081d90cb7e60e53e4a5590d (diff) | |
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
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/Jenkins/linux_random.conf | 2 |
1 files changed, 2 insertions, 0 deletions
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++ |