diff options
Diffstat (limited to 'Build/source/texk/tetex/texlinks')
-rwxr-xr-x | Build/source/texk/tetex/texlinks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/tetex/texlinks b/Build/source/texk/tetex/texlinks index 5ceaccdcd2d..c6fd2880aae 100755 --- a/Build/source/texk/tetex/texlinks +++ b/Build/source/texk/tetex/texlinks @@ -310,7 +310,7 @@ main() main_args_while="$@" test "x$fmt" = "x$engine" && continue - if test -f "$d/$engine"; then + if test -f "$d/$engine$exeext"; then case $unlink in true) rm_link "$d/$fmt";; |