summaryrefslogtreecommitdiff
path: root/Master/common.sh
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-01-01 19:49:32 +0000
committerKarl Berry <karl@freefriends.org>2008-01-01 19:49:32 +0000
commited812004bcf0428e4073498a66aefc69a7f0e419 (patch)
treef6dc9676063cf1175c390da96d28493cb552b08e /Master/common.sh
parent909f0cb823c22e0f6666b11f51cca51209a6f7f2 (diff)
perhaps $HOME is completely unset (Poor Yorick, 31
Dec 2007 19:20:29). git-svn-id: svn://tug.org/texlive/trunk@6022 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/common.sh')
-rwxr-xr-xMaster/common.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/common.sh b/Master/common.sh
index 1d5a088b7c8..e32fd378adc 100755
--- a/Master/common.sh
+++ b/Master/common.sh
@@ -348,7 +348,8 @@ TEXMFCNF__fix_texmf()
rm .sed_tmp.$$
#
# the TEXMFHOME tree
- if test "x$TEXMFHOME" != x'$HOME/texmf' && test "x$HOME" != x/; then
+ if test "x$TEXMFHOME" != x'$HOME/texmf' && test "x$HOME" != x/ \
+ && test -n "$HOME"; then
# if the variable starts with the explicit home of the current user
# (as in "/u/karl") replace that with the string '$HOME' as the
# explicit home of the current user is unlikely to ever be right.