?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
LanguageTool: don't crash if REST protocol isn't set
[LibreOffice.git] / distro-configs / Jenkins / Linux_rel_master.conf
blob150bf7df1f6ebfdd6b71025b262c4698fcc69018
1 --enable-kf5
2 --with-jdk-home=/etc/alternatives/java_sdk_11
3 CC=/opt/rh/devtoolset-7/root/usr/bin/gcc
4 CXX=/opt/rh/devtoolset-7/root/usr/bin/g++
5 --enable-odk
FREE OFFICE SUITE