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, -- Nicolas George
signature.asc
Description: Digital signature
_______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
