diff options
author | Michael Weghorn <m.weghorn@posteo.de> | 2019-02-21 16:39:23 +0100 |
---|---|---|
committer | Michael Weghorn <m.weghorn@posteo.de> | 2019-05-24 03:10:15 +0200 |
commit | b7e317b403c8b8049046d7dfd30e6494c04083fb (patch) | |
tree | 4524d3d9c7b80170ca40a56fdb3142308e232b7a /distro-configs | |
parent | 6c817f00dbcdf4e38bf22741111fb49fb6815671 (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.
Reviewed-on: https://gerrit.libreoffice.org/68165
Tested-by: Jenkins
Reviewed-by: Michael Weghorn <m.weghorn@posteo.de>
(cherry picked from commit 7d2afd1c205d324447e42a8281f646b086882cd5)
Change-Id: I44b0e611348a22b390b6ec89d3ed1d7eb7bddd63
Reviewed-on: https://gerrit.libreoffice.org/72741
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 9865be076515..fb56b6feccbf 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=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 8b137891791f..a3f46efe7970 100644 --- a/distro-configs/Jenkins/linux_gcc_release_64 +++ b/distro-configs/Jenkins/linux_gcc_release_64 @@ -1 +1 @@ - +--enable-kde5 |