summaryrefslogtreecommitdiff
path: root/Build/source/texk/chktex/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/chktex/configure')
-rwxr-xr-xBuild/source/texk/chktex/configure6
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