summaryrefslogtreecommitdiff
path: root/Build/source/utils/pmx/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/pmx/configure')
-rwxr-xr-xBuild/source/utils/pmx/configure11
1 files changed, 8 insertions, 3 deletions
diff --git a/Build/source/utils/pmx/configure b/Build/source/utils/pmx/configure
index 4ebb43932ca..448f5c7c10d 100755
--- a/Build/source/utils/pmx/configure
+++ b/Build/source/utils/pmx/configure
@@ -3893,9 +3893,14 @@ fi
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $kpse_cv_have_win32" >&5
$as_echo "$kpse_cv_have_win32" >&6; }
-if test "x$kpse_cv_have_win32" != xno; then
- AM_CPPFLAGS="$AM_CPPPFLAGS -DUSE_CLOCK"
-fi
+case $kpse_cv_have_win32 in #(
+ native) :
+ AM_CPPFLAGS="$AM_CPPPFLAGS -DMSDOS" ;; #(
+ mingw32) :
+ AM_CPPFLAGS="$AM_CPPPFLAGS -DUSE_CLOCK" ;; #(
+ *) :
+ ;;
+esac
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ln -s works" >&5