diff options
author | Christian Lohmaier <lohmaier+LibreOffice@googlemail.com> | 2019-10-24 16:08:18 +0200 |
---|---|---|
committer | Christian Lohmaier <lohmaier+LibreOffice@googlemail.com> | 2019-10-24 16:09:11 +0200 |
commit | 769a5a6e841635e7cdcaa5c5e93a80dad06289ad (patch) | |
tree | 37966bc5942a81e08c39dc1b7f99e7ca1c1e4fcd /distro-configs/Jenkins | |
parent | dca2adcdb6ed93dff76468d02e0de6984fae3ec9 (diff) |
gandalf is no longer using devtoolset
Change-Id: I3c9d48714994fe8c00da5a48ec2d05bba6b2ca2e
Diffstat (limited to 'distro-configs/Jenkins')
-rw-r--r-- | distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf b/distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf index 3e34040ebe55..51d536fae245 100644 --- a/distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf +++ b/distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf @@ -33,5 +33,3 @@ --with-lang=de es fr ar zh-CN --with-package-format=archive --with-update-config=~/updater.ini -CC=/opt/rh/devtoolset-7/root/usr/bin/gcc -CXX=/opt/rh/devtoolset-7/root/usr/bin/g++ |