[MPlayer-dev-eng] [PATCH] Fix 'make distclean'

[Georgi Petrov]

On Tue, Feb 3, 2009 at 1:53 AM, Reimar Döffinger
<Reimar.Doeffinger at stud.uni-karlsruhe.de> wrote:
> On Tue, Feb 03, 2009 at 12:31:43AM +0100, Diego Biurrun wrote:
>> You have to run configure again after distclean.  Everything else is
>> undefined behavior.
>
> I'd be thankful if you could find time to make things more reliable, two suggestions:
> 1) Ignore rm failure

This one will be enough to perform correct distclean at least on my
environment. If you make it that way, the reliability will be improved
at least in my test case.