diff options
Diffstat (limited to 'Master/bin/sparc-linux/fmtutil')
-rwxr-xr-x | Master/bin/sparc-linux/fmtutil | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/bin/sparc-linux/fmtutil b/Master/bin/sparc-linux/fmtutil index e3262e4737e..06ef11380b4 100755 --- a/Master/bin/sparc-linux/fmtutil +++ b/Master/bin/sparc-linux/fmtutil @@ -59,7 +59,7 @@ test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"' progname=fmtutil argv0=$0 -version='$Id: fmtutil 23149 2011-06-27 21:32:19Z karl $' +version='$Id: fmtutil 25899 2012-04-09 23:09:26Z karl $' cnf=fmtutil.cnf # name of the config file export PATH @@ -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 |