diff options
Diffstat (limited to 'Build/source/texk/psutils/configure')
| -rwxr-xr-x | Build/source/texk/psutils/configure | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/psutils/configure b/Build/source/texk/psutils/configure index a973f65845c..c5a5fc17687 100755 --- a/Build/source/texk/psutils/configure +++ b/Build/source/texk/psutils/configure @@ -15072,7 +15072,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 |