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

Reimar Döffinger Reimar.Doeffinger at stud.uni-karlsruhe.de
Tue Feb 3 00:53:39 CET 2009


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
2) add a to help_create.sh
if test -r "$TRANSLATION" -a -n "$CHARSET" ; then
  echo "bad parameters"
  exit 1
fi

Reimar



More information about the MPlayer-dev-eng mailing list