Configure options for faster Jenkins builds

[Luboš Luňák]

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 at collabora.com