summaryrefslogtreecommitdiff
path: root/Build/source/texk/tetex/fmtutil
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/tetex/fmtutil')
-rwxr-xr-xBuild/source/texk/tetex/fmtutil3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/tetex/fmtutil b/Build/source/texk/tetex/fmtutil
index b11ef269f0c..b9f97aa8998 100755
--- a/Build/source/texk/tetex/fmtutil
+++ b/Build/source/texk/tetex/fmtutil
@@ -419,9 +419,10 @@ main()
need_find_hyphenfile=false
cfgparam=
cfgmaint=
- tmpdir=${TMPDIR-${TEMP-${TMP-/tmp}}}/$progname.$$
verboseFlag=true
noAbortFlag=false
+ # eradicate double slashes to avoid kpathsea expansion.
+ tmpdir=`echo ${TMPDIR-${TEMP-${TMP-/tmp}}}/$progname.$$ | sed s,//,/,g`
# mktexfmtMode: if called as mktexfmt, set to true. Will echo the
# first generated filename after successful generation to stdout then