diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-05-win32')
-rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-05-win32 | 12 |
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) |