<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Aug 1, 2013 at 5:50 PM, Otavio Salvador <span dir="ltr">&lt;<a href="mailto:otavio@ossystems.com.br" target="_blank">otavio@ossystems.com.br</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On Thu, Aug 1, 2013 at 1:38 PM, Laszlo Papp &lt;<a href="mailto:lpapp@kde.org">lpapp@kde.org</a>&gt; wrote:<br>

&gt; On Thu, Aug 1, 2013 at 5:35 PM, Burton, Ross &lt;<a href="mailto:ross.burton@intel.com">ross.burton@intel.com</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; On 1 August 2013 17:33, Laszlo Papp &lt;<a href="mailto:lpapp@kde.org">lpapp@kde.org</a>&gt; wrote:<br>
&gt;&gt; &gt;&gt; I&#39;m not sure what you meant here.  Do you mean a situation where the<br>
&gt;&gt; &gt;&gt; local.conf says MACHINE=foo and the user also sets MACHINE=foo in the<br>
&gt;&gt; &gt;&gt; environment?<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt; Yes.<br>
&gt;&gt;<br>
&gt;&gt; But there&#39;s nothing wrong with the user doing that at all.<br>
&gt;<br>
&gt;<br>
&gt; Why do you think compilers warn in such use cases? Because they cannot know<br>
&gt; if you are doing something silly, or something unintentional. It might just<br>
&gt; well be that the user wanted to type something else, but got confused in<br>
&gt; which case he might get a hard to debug issue later, or even if not hard, it<br>
&gt; is additional issue due to his.<br>
<br>
</div></div>Please provide the message you preferred so it can be seen and<br>
discussed. An example might make it easier to get what you really<br>
mean.<br></blockquote><div><br></div><div>&quot;Warning: &quot;foo&quot;, specified manually on the command line, is the same as in the /path/to/the/relevant/background/file.stuff file&quot;</div><div><br></div><div>Please do not hang on the grammar as I am a non-native speakers.</div>
</div></div></div>