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