summaryrefslogtreecommitdiff
path: root/Master/common.sh
diff options
context:
space:
mode:
Diffstat (limited to 'Master/common.sh')
-rwxr-xr-xMaster/common.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/common.sh b/Master/common.sh
index c405060a3d9..60b857f89ef 100755
--- a/Master/common.sh
+++ b/Master/common.sh
@@ -346,7 +346,7 @@ TEXMFCNF__fix_texmf()
rm .sed_tmp.$$
#
# the TEXMFHOME tree
- if test "x$TEXMFHOME" != x'$HOME/texmf' && test "x$HOME" != /; then
+ if test "x$TEXMFHOME" != x'$HOME/texmf' && test "x$HOME" != x/; 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.