<div dir="ltr">Thanks.<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Jul 8, 2013 at 7:28 AM, Sam Tobin-Hochstadt <span dir="ltr">&lt;<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">What about a `make` target (maybe named `rebuild`) that remembers the<br>
previous PKGS setting? That seems a little less stateful, and would be<br>
perfect for the reasons that led me to ask for sticky mode.<br>
<span class="HOEnZb"><font color="#888888"><br>
Sam<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Mon, Jul 8, 2013 at 8:24 AM, Matthew Flatt &lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt; wrote:<br>
&gt; I&#39;m happy to enable sticky mode only when the `make&#39; line is something<br>
&gt; like<br>
&gt;<br>
&gt;   make PKGS=&quot;...&quot; STICKY_MODE=on<br>
&gt;<br>
&gt; Any objections?<br>
&gt;<br>
&gt; At Sat, 6 Jul 2013 09:43:46 -0500, Robby Findler wrote:<br>
&gt;&gt; I just got horribly confused because somehow I messed up passing a manual<br>
&gt;&gt; command-line to link-all.rkt and then nothing was working right. (It took<br>
&gt;&gt; me embarrassingly long to remember this sticky thing and then get unsticky.)<br>
&gt;&gt;<br>
&gt;&gt; So, can we change things so that &quot;make&quot; in the top-level doesn&#39;t use<br>
&gt;&gt; stickyness? Maybe add a new target &quot;make stuck&quot; or something that people<br>
&gt;&gt; who like this can use and so we avoid unexpected state?<br>
&gt;&gt;<br>
&gt;&gt; Robby<br>
&gt;&gt; _________________________<br>
&gt;&gt;   Racket Developers list:<br>
&gt;&gt;   <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
&gt; _________________________<br>
&gt;   Racket Developers list:<br>
&gt;   <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
</div></div></blockquote></div><br></div>