<div dir="ltr"><div class="gmail_extra">On Fri, Dec 28, 2012 at 3:29 PM, Rolf Eike Beer <span dir="ltr"><<a href="mailto:eike@sf-mail.de" target="_blank">eike@sf-mail.de</a>></span> wrote:<br><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":4h6">Changing the compiler usually will not work anyway. That's why we have<br>
separate build trees: wipe the whole thing and start again.</div></blockquote></div><br></div><div class="gmail_extra" style>Yes, I have a habit of runnning<br><br>rm -rf * && cmake -DNEW_OPTIONS ..<br><br>because changing cache variables (especially compilers, but also far too many Find*.cmake modules) is hopelessly unreliable. It's a funny interface and defeats the purpose of having a cache, but at least it's not chronically broken.</div>
</div>