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