Hi,
On Tue, Feb 16, 2016 at 11:37 AM, Nicolas George <geo...@nsup.org> 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.
And the workaround (this happens to me every few days) is:
find . -name '*.d' -exec rm -f {} \;
(in your builddir) - use at your own risk :-).
Ronald
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
