summaryrefslogtreecommitdiff
path: root/Build/source/texk/tetex/texlinks
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/tetex/texlinks')
-rwxr-xr-xBuild/source/texk/tetex/texlinks2
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";;