diff options
Diffstat (limited to 'Build/source/utils/pmx/configure')
| -rwxr-xr-x | Build/source/utils/pmx/configure | 11 |
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 |