<div dir="ltr"><div dir="ltr"></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Mar 7, 2019 at 10:36 AM Jo-Philipp Wich <<a href="mailto:jo@mein.io">jo@mein.io</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">Hi,<br>
<br>
> Could this be a CLI parameter to make, or something that's written to<br>
> the .config? <br>
<br>
Once it is set in .config it will remain the same with every subsequent<br>
rebuild, defeating its purpose entirely.<br>
<br>
~ Jo<br>
<br></blockquote><div><br></div><div>Users who set it in the .config file will expect it to be the same with every subsequent rebuild.</div></div></div>