diff options
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf b/distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf index 810ef33a62da..f006518ce0c8 100644 --- a/distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf +++ b/distro-configs/Jenkins/LibreOfficeLinuxUpdater.conf @@ -32,3 +32,5 @@ --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++ |