diff options
Diffstat (limited to 'Build/source/utils/texdoctk/configure')
-rwxr-xr-x | Build/source/utils/texdoctk/configure | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/utils/texdoctk/configure b/Build/source/utils/texdoctk/configure index 59c89098ada..e31121d1a28 100755 --- a/Build/source/utils/texdoctk/configure +++ b/Build/source/utils/texdoctk/configure @@ -3723,7 +3723,11 @@ fi $as_echo "$kpse_cv_have_win64" >&6; } case $kpse_cv_have_win64 in #( yes) : - WIN_WRAPPER=w64_wrapper ;; #( + if test "x$kpse_cv_have_win32=xmingw"; then : + WIN_WRAPPER=w64_mingw_wrapper +else + WIN_WRAPPER=w64_wrapper +fi ;; #( *) : WIN_WRAPPER=w32_wrapper ;; esac |