sync mktexlsr in bin dirs

git-svn-id: svn://tug.org/texlive/trunk@22889 c570f23f-e606-0410-a88d-b1316a301751

18 files changed, 126 insertions, 90 deletions

diff --git a/Master/bin/alpha-linux/mktexlsr b/Master/bin/alpha-linux/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/alpha-linux/mktexlsr
+++ b/Master/bin/alpha-linux/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/amd64-freebsd/mktexlsr b/Master/bin/amd64-freebsd/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/amd64-freebsd/mktexlsr
+++ b/Master/bin/amd64-freebsd/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/amd64-kfreebsd/mktexlsr b/Master/bin/amd64-kfreebsd/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/amd64-kfreebsd/mktexlsr
+++ b/Master/bin/amd64-kfreebsd/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/i386-cygwin/mktexlsr b/Master/bin/i386-cygwin/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/i386-cygwin/mktexlsr
+++ b/Master/bin/i386-cygwin/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/i386-freebsd/mktexlsr b/Master/bin/i386-freebsd/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/i386-freebsd/mktexlsr
+++ b/Master/bin/i386-freebsd/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/i386-kfreebsd/mktexlsr b/Master/bin/i386-kfreebsd/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/i386-kfreebsd/mktexlsr
+++ b/Master/bin/i386-kfreebsd/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/i386-linux/mktexlsr b/Master/bin/i386-linux/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/i386-linux/mktexlsr
+++ b/Master/bin/i386-linux/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/i386-netbsd/mktexlsr b/Master/bin/i386-netbsd/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/i386-netbsd/mktexlsr
+++ b/Master/bin/i386-netbsd/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/i386-solaris/mktexlsr b/Master/bin/i386-solaris/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/i386-solaris/mktexlsr
+++ b/Master/bin/i386-solaris/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/mips-irix/mktexlsr b/Master/bin/mips-irix/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/mips-irix/mktexlsr
+++ b/Master/bin/mips-irix/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/powerpc-aix/mktexlsr b/Master/bin/powerpc-aix/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/powerpc-aix/mktexlsr
+++ b/Master/bin/powerpc-aix/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/powerpc-linux/mktexlsr b/Master/bin/powerpc-linux/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/powerpc-linux/mktexlsr
+++ b/Master/bin/powerpc-linux/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/sparc-linux/mktexlsr b/Master/bin/sparc-linux/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/sparc-linux/mktexlsr
+++ b/Master/bin/sparc-linux/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/sparc-solaris/mktexlsr b/Master/bin/sparc-solaris/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/sparc-solaris/mktexlsr
+++ b/Master/bin/sparc-solaris/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/universal-darwin/mktexlsr b/Master/bin/universal-darwin/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/universal-darwin/mktexlsr
+++ b/Master/bin/universal-darwin/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/x86_64-darwin/mktexlsr b/Master/bin/x86_64-darwin/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/x86_64-darwin/mktexlsr
+++ b/Master/bin/x86_64-darwin/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/x86_64-linux/mktexlsr b/Master/bin/x86_64-linux/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/x86_64-linux/mktexlsr
+++ b/Master/bin/x86_64-linux/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done
diff --git a/Master/bin/x86_64-solaris/mktexlsr b/Master/bin/x86_64-solaris/mktexlsr
index 6de87ca9823..57308fb1f96 100755
--- a/Master/bin/x86_64-solaris/mktexlsr
+++ b/Master/bin/x86_64-solaris/mktexlsr
@@ -11,7 +11,7 @@
 # <te@dbs.uni-hannover.de>, Okt., 1994.
 # Public domain.
 
-version='$Id: mktexlsr 22885 2011-06-09 17:27:39Z karl $'
+version='$Id: mktexlsr 22888 2011-06-09 18:05:15Z karl $'
 progname=`echo $0 | sed 's%.*/%%'`
 usage="Usage: $progname [OPTION]... [DIR]...
 
@@ -101,10 +101,12 @@ while test $# -gt 0; do
     # supporting spaces in the name.  This still doesn't support
     # newlines in the directory names, but nobody ever complains about
     # that, and it seems much too much trouble to use \0 terminators.
-    (umask 077 && touch "$treefile" ) \
-    || { echo "$progname: $treefile: could not create arg file, goodbye." >&2;\
-               exit 1; }
-    echo "$1" >"$treefile"
+    (umask 077
+    if echo "$1" >>"$treefile"; then :; else
+      echo "$progname: $treefile: could not append to arg file, goodbye." >&2
+      exit 1
+    fi
+    )
   fi
   shift
 done