diff --git a/mono-2.8-monodis.patch b/mono-2.8-monodis.patch new file mode 100644 index 0000000..dac1893 --- /dev/null +++ b/mono-2.8-monodis.patch @@ -0,0 +1,11 @@ +--- mono-2.8/mono/Makefile.am.old 2010-10-10 19:51:15.000000000 +1300 ++++ mono-2.8/mono/Makefile.am 2010-10-10 19:54:07.000000000 +1300 +@@ -2,7 +2,7 @@ + SUBDIRS = utils io-layer cil metadata arch $(interpreter_dir) mini dis + else + if MOONLIGHT +-SUBDIRS = utils io-layer metadata arch $(interpreter_dir) mini ++SUBDIRS = utils io-layer cil metadata arch $(interpreter_dir) mini dis monograph tests benchmark profiler + else + SUBDIRS = utils io-layer cil metadata arch $(interpreter_dir) mini dis monograph tests benchmark profiler + endif