# HG changeset patch
# User siretart
# Date 1240476365 0
# Node ID ecb3c5f2fdd1a038fd96db1093d55f5e98d7f1ca
# Parent  641ccdaad34280b05f8dedc8e79a3ec66f1d1454
Part 3 of syncing binary_codecs.sh with Debian

This patch contains no functional changes again, only whitespace fixes
that has been misse from Part 1 have been included.

diff -r 641ccdaad342 -r ecb3c5f2fdd1 TOOLS/binary_codecs.sh
--- a/TOOLS/binary_codecs.sh	Thu Apr 23 08:37:20 2009 +0000
+++ b/TOOLS/binary_codecs.sh	Thu Apr 23 08:46:05 2009 +0000
@@ -26,14 +26,14 @@
   cd $PREFDIR
 
   #if [ ! -r mirrors ] || find mirrors -mtime +20 ; then
-    echo Downloading mirrors list..
+    echo Downloading mirrors list
     wget -nv -c -N $MYSITE/mirrors || true
   #fi
   if [ ! -r bestsites ] || [ mirrors -nt bestsites ] || \
     find bestsites -mtime +20 > /dev/null ; then
-    if which netselect > /dev/null  ; then
-      echo  Choosing best mirrors using netselect....
-      netselect  -s 5  $( cat mirrors ) | awk '{print $2}' > bestsites
+    if which netselect > /dev/null ; then
+      echo Choosing best mirrors using netselect
+      netselect -s 5 $( cat mirrors ) | awk '{print $2}' > bestsites
     elif which fping > /dev/null ; then
      fping -C 1  $( sed   's#.*//##;s#/.*##' mirrors ) 2>&1 | \
        egrep -v 'bytes.*loss' | sort -n -k3 | \
@@ -147,8 +147,8 @@
     fi
     choosemirror
     cd $PREFDIR
-    #if [ ! -r codecs_list ] || find  codecs_list -mtime +20  ; then
-      echo 'Getting  codecs list ...'
+    #if [ ! -r codecs_list ] || find codecs_list -mtime +20 ; then
+      echo 'Getting codecs list'
       wget -nv -c -N $MYSITE/codecs_list || true
     #fi
 
@@ -156,7 +156,7 @@
       egrep -v "^[[:space:]]*(#|$)" $PREFDIR/codecs_list | \
         while read arch url dir file info ; do
           if [ "$dpkgarch" = "$arch" ]; then
-            echo Installing $file $info...
+            echo Downloading and installing $file $info...
             INSTALL "$url" "$dir" "$file"
 	    n=1
           fi