diff options
Diffstat (limited to 'Build/source/texk/tetex/fmtutil')
-rwxr-xr-x | Build/source/texk/tetex/fmtutil | 3 |
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 |