On Jul 4, 2020, at 07:09, Jonas Hahnfeld wrote:
>
>> Should I be using the same options as the CI image is? (and if so, can
>> you tell me what they are in case I have missed any)?
>
> As said above, I don't think it makes a difference. If you want to, Dan
> recently added "autogen.sh --ci" whi
Hi James,
Am Samstag, den 04.07.2020, 11:48 +0100 schrieb James Lowe:
> Hello,
>
> I noticed that the Docker image is using a few configure options that I
> do not use when I make/make check.
most of the flags in CI are about speeding up the build and reducing
size (in particular disabling debu
Hello,
I noticed that the Docker image is using a few configure options that I
do not use when I make/make check. Likewise I notice that while I use
configure --disable-optimising, the image does not (as far as I can tell
the disable-optimising option is specifically for reg test processing).
