diff options
Diffstat (limited to 'Build/source/utils/ps2eps')
| -rwxr-xr-x | Build/source/utils/ps2eps/configure | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/utils/ps2eps/configure b/Build/source/utils/ps2eps/configure index 05bcae1bd25..214a36ff077 100755 --- a/Build/source/utils/ps2eps/configure +++ b/Build/source/utils/ps2eps/configure @@ -4481,7 +4481,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 |