Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
You do, for some definition of "problem".
make
git checkout whatever
make
git checkout where-you-were-before
make # <--- this one
The last make is correct with plain git and plain make, but it can be
slow. With a cache in your build system, it can just reuse the objects
created during the first "make". It doesn't change correctness, only
performance.
--
Matthieu
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html