<div dir="ltr"><div dir="ltr"><div dir="ltr"></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Mar 14, 2019 at 7:20 PM Herbert Valerio Riedel <<a href="mailto:hvriedel@gmail.com">hvriedel@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div>I 
don't have the ticket number at my fingertips but it should be fairly 
easy to find.</div></div></div></blockquote><div><br></div><div>I'm afraid it doesn't appear to be. Could you share your arguments in this thread?</div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Mar 15, 2019 at 3:10 AM Moritz Angermann <<a href="mailto:moritz.angermann@gmail.com">moritz.angermann@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">It's magically conflating two different phases with `-c`. The configure phase and<br>
the build phase. Making this the default means it's always magic. I don't like magic!<br></blockquote><div><br></div><div>Unfortunately, I really don't understand what you are saying. What's magic about combining the phases?</div></div></div>