diff options
-rwxr-xr-x | Master/bin/alpha-linux/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/amd64-freebsd/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/amd64-kfreebsd/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/i386-cygwin/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/i386-freebsd/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/i386-kfreebsd/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/i386-linux/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/i386-netbsd/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/i386-solaris/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/mips-irix/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/powerpc-aix/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/powerpc-linux/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/sparc-linux/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/sparc-solaris/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/universal-darwin/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/x86_64-darwin/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/x86_64-linux/mktexlsr | 12 | ||||
-rwxr-xr-x | Master/bin/x86_64-solaris/mktexlsr | 12 |
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 |