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
On Monday 14 of October 2019, Stephan Bergmann wrote:
> On 13/10/2019 21:15, Luboš Luňák wrote:
> > And --disable-symbols is basically like adding -g0 to CXXFLAGS. Most
> > setups build with --enable-dbgutils to build with full debug builds, but
> > in fact generating debug symbols mostly seems l
On 13/10/2019 21:15, Luboš Luňák wrote:
And --disable-symbols is basically like adding -g0 to CXXFLAGS. Most setups
build with --enable-dbgutils to build with full debug builds, but in fact
generating debug symbols mostly seems like a waste for Jenkins builds. Is
that actually used for somethin
Hello,
is there any specific reason why the Jenkins builds do not
use --disable-dependency-tracking and/or --disable-symbols?
I've noticed in the logs that Jenkins builds do 'make clean' at the start, so
they are one-time builds and thus do not need dependency tracking, so they
just work j
