Re: Configure options for faster Jenkins builds

[Luboš Luňák <l.lunak@xxxxxxxxxxxxx>]

On Sunday 13 of October 2019, Luboš Luňák wrote:
>  Hello,
>
>  is there any specific reason why the Jenkins builds do not
> use --disable-dependency-tracking and/or --disable-symbols?

 I've pushed --disable-dependency-tracking for all the 4 Jenkins setups 
and --disable-symbols for the 2 that do not seem to use it (Win+Mac).

-- 
 Luboš Luňák
 l.lunak@xxxxxxxxxxxxx
_______________________________________________
LibreOffice mailing list
LibreOffice@xxxxxxxxxxxxxxxxxxxxx
https://lists.freedesktop.org/mailman/listinfo/libreoffice