[MPlayer-dev-eng] [PATCH] sync TOOLS/binary_codecs.sh with debian

[Diego Biurrun]

On Thu, Apr 23, 2009 at 10:57:01AM +0200, Reinhard Tartler wrote:
> OK'ed parts applied as part 2, then applied the missed whitespace fixes
> and comsetics missed from part 1 as part 3.
> 
> Here now propsed part 4, hopefully without other whitespace/cosmetics
> changes:
> 
> --- binary_codecs.sh	(revision 29223)
> +++ binary_codecs.sh	(working copy)
> @@ -86,10 +85,20 @@
> -      tr '\n' '\000' < $filename.list | xargs -r0 rm  || true
> +      tr '\n' '\000' < $filename.list | xargs -r0 rm || true

cosmetics

> @@ -152,15 +161,40 @@
>  
> -    if  grep -q "^$dpkgarch" $PREFDIR/codecs_list   ] ; then
> +    if grep -q "^$dpkgarch" $PREFDIR/codecs_list ; then

unrelated typo?

Anyway, I don't think there is much point in nitpicking about this.  If
the new version works, commit it.

Diego