Yes, it was implemented as part of supporting another feature, and was left undocumented at the time.<div><br></div><div>And it stuck.<br><br></div><div>This comment is in the source code, though, and the current implementation will return &quot;1&quot; or &quot;0&quot; in ${variable}:</div>
<div><br></div><div><div>  /*</div><div>    FILE(DIFFERENT &lt;variable&gt; FILES &lt;lhs&gt; &lt;rhs&gt;)</div><div>   */</div></div><div><br></div><div><br></div><div>HTH,</div><div>David</div><div><br></div><div><br><div class="gmail_quote">
On Tue, Jun 19, 2012 at 10:46 PM, Doug <span dir="ltr">&lt;<a href="mailto:douglas.linder@gmail.com" target="_blank">douglas.linder@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
is FILE(DIFFERENT ...) depreciated or reserved for internal use or something?<div><br></div><div>It doesnt turn up in the docs online or the internal docs in Source/cmFileCommand.h</div><div><br></div><div>Definitely in Sources/cmFileCommand.cxx though:</div>

<div><br></div><div><div><div> else if ( subCommand == &quot;DIFFERENT&quot; )</div><div>    {</div><div>    return this-&gt;HandleDifferentCommand(args);</div></div></div><div><br></div><div>Just an omission from the docs?</div>

<div><br></div><div>~</div><span class="HOEnZb"><font color="#888888"><div>Doug.</div>
</font></span><br>--<br>
<br>
Powered by <a href="http://www.kitware.com" target="_blank">www.kitware.com</a><br>
<br>
Visit other Kitware open-source projects at <a href="http://www.kitware.com/opensource/opensource.html" target="_blank">http://www.kitware.com/opensource/opensource.html</a><br>
<br>
Please keep messages on-topic and check the CMake FAQ at: <a href="http://www.cmake.org/Wiki/CMake_FAQ" target="_blank">http://www.cmake.org/Wiki/CMake_FAQ</a><br>
<br>
Follow this link to subscribe/unsubscribe:<br>
<a href="http://www.cmake.org/mailman/listinfo/cmake" target="_blank">http://www.cmake.org/mailman/listinfo/cmake</a><br></blockquote></div><br></div>