diff options
Diffstat (limited to 'Master/bin/i386-linux/fmtutil')
| -rwxr-xr-x | Master/bin/i386-linux/fmtutil | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Master/bin/i386-linux/fmtutil b/Master/bin/i386-linux/fmtutil index f86a06003de..a2d3808b988 100755 --- a/Master/bin/i386-linux/fmtutil +++ b/Master/bin/i386-linux/fmtutil @@ -607,15 +607,16 @@ parse_line() texargs="$@" - eval lastarg=\$$# - inifile=`echo $lastarg | sed 's%^\*%%'` - case "$engine" in mpost) fmtfile="$format.mem"; kpsefmt=mp; texengine=metapost;; mf|mfw|mf-nowin) fmtfile="$format.base"; kpsefmt=mf; texengine=metafont;; *) fmtfile="$format.fmt"; kpsefmt=tex; texengine=$engine;; esac + # remove any * for the sake of the kpsewhich lookup. + eval lastarg=\$$# + inifile=`echo $lastarg | sed 's%^\*%%'` + # See if we can find $inifile for return code: kpsewhich -progname=$format -format=$kpsefmt $inifile >/dev/null 2>&1 } |