|Subject:||question about configure for reg tests|
|Date:||Sat, 4 Jul 2020 11:48:50 +0100|
|User-agent:||Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.8.0|
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).
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)?
|[Prev in Thread]||Current Thread||[Next in Thread]|