diff options
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/texk/kpathsea/kpsewhich.c | 20 |
1 files changed, 3 insertions, 17 deletions
diff --git a/Build/source/texk/kpathsea/kpsewhich.c b/Build/source/texk/kpathsea/kpsewhich.c index e5c278da18b..0aece91390e 100644 --- a/Build/source/texk/kpathsea/kpsewhich.c +++ b/Build/source/texk/kpathsea/kpsewhich.c @@ -159,24 +159,10 @@ find_format (kpathsea kpse, string name, boolean is_filename) if (found) break; - - /* Some trickery here: the extensions for kpse_fmt_format (which - is just .fmt) can clash with other extensions in use (how?), - and we prefer for those others to be preferred. And we don't - want to change the integer value of kpse_fmt_format. So skip - it when first encountered, then use it when we've done - everything else, and use it as the end-guard. */ - if (f == kpse_fmt_format) { - f = kpse_last_format; - } else if (++f == kpse_fmt_format) { - f++; - } else if (f == kpse_last_format) { - f = kpse_fmt_format; - } - - /* If there was a match, f will be one past the correct value. */ - ret = f; + f++; } + + ret = f; } return ret; |