On 02/16/2016 05:37 PM, Nicolas George wrote:
L'octidi 28 pluviôse, an CCXXIV, Mats Peterson a écrit :
Is it very important to use a "make distclean" after a "git pull"? It
depends on the changes made to the newly pulled code, I guess.
Exactly. The most common issue is when files are renamed or deleted: without
distclean, the dependency files are still there and make will fail because
it thinks it still needs them.
So basically: if you forget distclean and it works, then it was probably not
necessary; and if build fails, you know distclean was necessary. There may
have been cases where forgetting distclean would cause bugs more subtle than
that, but I do not remember the specifics.
Regards,
Thanks for this exhaustive answer, Nicolas.
Mats
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
