diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-07-11 15:54:16 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-07-11 15:54:16 +0000 |
commit | 5a2d5ae261bcc502af3a73e980f0f9847ab35709 (patch) | |
tree | f20d7e8daac155ca53fe595db34c8b7d66d1860e /Build/source/utils/pmx/configure | |
parent | 67b1218cddf910c657bebbd5d31045e0d08cda27 (diff) |
pmx: Adapt to W32TeX
git-svn-id: svn://tug.org/texlive/trunk@26999 c570f23f-e606-0410-a88d-b1316a301751
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 |