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/Win64_dev_master.conf | |
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/Win64_dev_master.conf')
0 files changed, 0 insertions, 0 deletions