summaryrefslogtreecommitdiff
path: root/Build/source/utils/pmx/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2012-07-11 15:54:16 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2012-07-11 15:54:16 +0000
commit5a2d5ae261bcc502af3a73e980f0f9847ab35709 (patch)
treef20d7e8daac155ca53fe595db34c8b7d66d1860e /Build/source/utils/pmx/configure
parent67b1218cddf910c657bebbd5d31045e0d08cda27 (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-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