diff options
| author | Luboš Luňák <l.lunak@collabora.com> | 2021-11-17 11:55:12 +0100 |
|---|---|---|
| committer | Luboš Luňák <l.lunak@collabora.com> | 2021-11-18 16:46:18 +0100 |
| commit | f4d59ec73682f06fff9f718b3347726f1d53d263 (patch) | |
| tree | 72293ea9e93a595574722fa755305a54b0cbcac1 /distro-configs | |
| parent | a7a700de4b6191d97c9addf528dce218b237e868 (diff) | |
make Jenkins dev builds use --enable-dbgutil, not just debug
It's the "more debug" option that each developer ideally should
use unless binary compatibility is wanted. Jenkins builds done
with these settings are reportedly not published, so this is
just tinderbox builds, and there's it's better to verify
the extra dbgutil stuff too.
Change-Id: Ia2f86ff9394e155b247a6e5e1583d0681399b99b
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/125381
Tested-by: Jenkins
Reviewed-by: Luboš Luňák <l.lunak@collabora.com>
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/Jenkins/MacOSX_dev_master.conf | 2 | ||||
| -rw-r--r-- | distro-configs/Jenkins/Win32_dev_master.conf | 2 | ||||
| -rw-r--r-- | distro-configs/Jenkins/Win64_dev_master.conf | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/distro-configs/Jenkins/MacOSX_dev_master.conf b/distro-configs/Jenkins/MacOSX_dev_master.conf index 1718b7fd3439..3960c4e5bf23 100644 --- a/distro-configs/Jenkins/MacOSX_dev_master.conf +++ b/distro-configs/Jenkins/MacOSX_dev_master.conf @@ -1,3 +1,3 @@ ---enable-debug +--enable-dbgutil --enable-odk --disable-online-update diff --git a/distro-configs/Jenkins/Win32_dev_master.conf b/distro-configs/Jenkins/Win32_dev_master.conf index e81e0cfef628..7ccda1beb829 100644 --- a/distro-configs/Jenkins/Win32_dev_master.conf +++ b/distro-configs/Jenkins/Win32_dev_master.conf @@ -1,4 +1,4 @@ --host=i686-pc-cygwin ---enable-debug +--enable-dbgutil --enable-odk --disable-online-update diff --git a/distro-configs/Jenkins/Win64_dev_master.conf b/distro-configs/Jenkins/Win64_dev_master.conf index 1718b7fd3439..3960c4e5bf23 100644 --- a/distro-configs/Jenkins/Win64_dev_master.conf +++ b/distro-configs/Jenkins/Win64_dev_master.conf @@ -1,3 +1,3 @@ ---enable-debug +--enable-dbgutil --enable-odk --disable-online-update |