diff options
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/mono/files/patch-mono_Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/mono/files/patch-mono_Makefile.in b/lang/mono/files/patch-mono_Makefile.in new file mode 100644 index 000000000000..7c570d2195b5 --- /dev/null +++ b/lang/mono/files/patch-mono_Makefile.in @@ -0,0 +1,11 @@ +--- mono/Makefile.in.bak Mon Feb 2 17:02:39 2004 ++++ mono/Makefile.in Tue Mar 2 01:48:16 2004 +@@ -123,7 +123,7 @@ + @PLATFORM_WIN32_TRUE@ arch monograph interpreter mini tests benchmark profiler + + @PLATFORM_WIN32_FALSE@SUBDIRS = utils io-layer monoburg os metadata cil dis \ +-@PLATFORM_WIN32_FALSE@ arch monograph interpreter mini tests benchmark handles profiler ++@PLATFORM_WIN32_FALSE@ arch monograph interpreter mini benchmark handles profiler + + subdir = mono + mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs |