On Thu, Mar 14, 2019 at 7:20 PM Herbert Valerio Riedel <hvriedel@gmail.com> wrote:

I don't have the ticket number at my fingertips but it should be fairly easy to find.

I'm afraid it doesn't appear to be. Could you share your arguments in this thread?

On Fri, Mar 15, 2019 at 3:10 AM Moritz Angermann <moritz.angermann@gmail.com> wrote:

It's magically conflating two different phases with `-c`. The configure phase and
the build phase. Making this the default means it's always magic. I don't like magic!

Unfortunately, I really don't understand what you are saying. What's magic about combining the phases?