diff options
| author | Christian Lohmaier <lohmaier+LibreOffice@googlemail.com> | 2019-10-15 22:28:11 +0200 |
|---|---|---|
| committer | Christian Lohmaier <lohmaier+LibreOffice@googlemail.com> | 2019-10-15 22:28:11 +0200 |
| commit | 5d59413d8474f9727a9566f0efb7bcd2568add69 (patch) | |
| tree | 0e433048536fe70b8ea02311ad9bbd2594ca0ac0 /distro-configs | |
| parent | 033ecf0127b0e232c45e727988c6d446c7ea5964 (diff) | |
gandalf now has gcc9 / no devtoolset
Change-Id: I2e5ded126f99ea7eb79d2db57240203dd3025e67
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/Jenkins/linux_random.conf | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/distro-configs/Jenkins/linux_random.conf b/distro-configs/Jenkins/linux_random.conf index d8675f7af006..4e71d38533f8 100644 --- a/distro-configs/Jenkins/linux_random.conf +++ b/distro-configs/Jenkins/linux_random.conf @@ -1,3 +1 @@ --enable-fuzz-options -CC=/opt/rh/devtoolset-7/root/usr/bin/gcc -CXX=/opt/rh/devtoolset-7/root/usr/bin/g++ |