diff options
| author | Luboš Luňák <l.lunak@collabora.com> | 2019-10-13 12:26:52 +0200 |
|---|---|---|
| committer | Luboš Luňák <l.lunak@collabora.com> | 2019-10-16 11:06:18 +0200 |
| commit | 012bf4cef8bbd8c5df2d1815cd24dafc2dd9c211 (patch) | |
| tree | 2b92d1002c226933e73cc08324df9e477377ec2a /distro-configs/Jenkins/windows_msc_dbgutil_32 | |
| parent | 0c59826811f98ed77270fd4c2a58bd875753008e (diff) | |
use --disable-dependency-tracking for Jenkins builds
They always start with 'make clean' (at least according to the logs),
so they are always one-time builds where creating dependencies
is not needed.
Change-Id: If402fbaa21bd213e3f781985479dd49c266ca511
Reviewed-on: https://gerrit.libreoffice.org/80730
Tested-by: Jenkins
Reviewed-by: Luboš Luňák <l.lunak@collabora.com>
Diffstat (limited to 'distro-configs/Jenkins/windows_msc_dbgutil_32')
| -rw-r--r-- | distro-configs/Jenkins/windows_msc_dbgutil_32 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/windows_msc_dbgutil_32 b/distro-configs/Jenkins/windows_msc_dbgutil_32 index 8fd313b6d565..661384539b86 100644 --- a/distro-configs/Jenkins/windows_msc_dbgutil_32 +++ b/distro-configs/Jenkins/windows_msc_dbgutil_32 @@ -1,2 +1,3 @@ --enable-dbgutil --disable-64-bit +--disable-dependency-tracking |