diff options
| author | Michael Weghorn <m.weghorn@posteo.de> | 2019-02-21 16:39:23 +0100 |
|---|---|---|
| committer | Michael Weghorn <m.weghorn@posteo.de> | 2019-02-21 22:42:56 +0100 |
| commit | 7d2afd1c205d324447e42a8281f646b086882cd5 (patch) | |
| tree | 98f74c961ef4d32b4c82022aa67770e1e7887b88 /distro-configs | |
| parent | 35701e731728bc010b19e5ebb154c3fe6682647e (diff) | |
'--enable-kde5' for Jenkins CI builds
As discussed in ESC call of 2019-02-21, enable kde5
for the Jenkins CI builds to detect build issues *before*
the changes get merged.
Change-Id: I44b0e611348a22b390b6ec89d3ed1d7eb7bddd63
Reviewed-on: https://gerrit.libreoffice.org/68165
Tested-by: Jenkins
Reviewed-by: Michael Weghorn <m.weghorn@posteo.de>
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/Jenkins/linux_clang_dbgutil_64 | 1 | ||||
| -rw-r--r-- | distro-configs/Jenkins/linux_gcc_release_64 | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/distro-configs/Jenkins/linux_clang_dbgutil_64 b/distro-configs/Jenkins/linux_clang_dbgutil_64 index 004f02afaba9..2feee4326da6 100644 --- a/distro-configs/Jenkins/linux_clang_dbgutil_64 +++ b/distro-configs/Jenkins/linux_clang_dbgutil_64 @@ -1,3 +1,4 @@ --enable-dbgutil --enable-compiler-plugins COMPILER_PLUGINS_CXX=ccache g++ -std=c++11 +--enable-kde5 diff --git a/distro-configs/Jenkins/linux_gcc_release_64 b/distro-configs/Jenkins/linux_gcc_release_64 index ffdfe19bc18b..e2e56dc802eb 100644 --- a/distro-configs/Jenkins/linux_gcc_release_64 +++ b/distro-configs/Jenkins/linux_gcc_release_64 @@ -1,3 +1,3 @@ CC=/opt/rh/devtoolset-7/root/usr/bin/gcc CXX=/opt/rh/devtoolset-7/root/usr/bin/g++ - +--enable-kde5 |