summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-05-win32
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-05-win32')
-rw-r--r--Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-05-win3212
1 files changed, 12 insertions, 0 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-05-win32 b/Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-05-win32
new file mode 100644
index 00000000000..bf51b4889c2
--- /dev/null
+++ b/Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-05-win32
@@ -0,0 +1,12 @@
+diff -ur dvi2tty-5.3.4.orig/dvi2tty.h dvi2tty-5.3.4/dvi2tty.h
+--- dvi2tty-5.3.4.orig/dvi2tty.h 2011-11-21 22:28:42.000000000 +0100
++++ dvi2tty-5.3.4/dvi2tty.h 2012-06-22 09:09:35.000000000 +0200
+@@ -28,7 +28,7 @@
+ #include <stdio.h>
+ #include <string.h>
+ #include <stdlib.h>
+-#if defined(MSDOS)
++#if defined(MSDOS) || (defined(WIN32) && !defined(__MINGW32__))
+ # include <malloc.h>
+ #else
+ # if !defined(THINK_C)