summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Weghorn <m.weghorn@posteo.de>2019-02-21 16:39:23 +0100
committerMichael Weghorn <m.weghorn@posteo.de>2019-02-21 22:42:56 +0100
commit7d2afd1c205d324447e42a8281f646b086882cd5 (patch)
tree98f74c961ef4d32b4c82022aa67770e1e7887b88
parent35701e731728bc010b19e5ebb154c3fe6682647e (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>
-rw-r--r--distro-configs/Jenkins/linux_clang_dbgutil_641
-rw-r--r--distro-configs/Jenkins/linux_gcc_release_642
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