diff options
| author | Karl Berry <karl@freefriends.org> | 2011-06-09 18:05:29 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2011-06-09 18:05:29 +0000 |
| commit | 20f40c8d41d296fe90e682ff316f8b66549d5fd1 (patch) | |
| tree | 9a673299002107f3a4d030b271be216cc81afec2 /Master/bin/x86_64-linux/mktexlsr | |
| parent | 284f0c3b9fa56387e16f2a2f45c0c1ee689682d3 (diff) | |
sync mktexlsr in bin dirs
git-svn-id: svn://tug.org/texlive/trunk@22889 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux/mktexlsr')
| -rwxr-xr-x | Master/bin/x86_64-linux/mktexlsr | 12 |
1 files changed, 7 insertions, 5 deletions
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 |