summaryrefslogtreecommitdiff
path: root/Master/bin/alpha-linux/fmtutil
diff options
context:
space:
mode:
Diffstat (limited to 'Master/bin/alpha-linux/fmtutil')
-rwxr-xr-xMaster/bin/alpha-linux/fmtutil5
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/bin/alpha-linux/fmtutil b/Master/bin/alpha-linux/fmtutil
index e3262e4737e..06ef11380b4 100755
--- a/Master/bin/alpha-linux/fmtutil
+++ b/Master/bin/alpha-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