diff options
Diffstat (limited to 'dev-ml/core/files/core-108.00.01-noinl.patch')
| -rw-r--r-- | dev-ml/core/files/core-108.00.01-noinl.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dev-ml/core/files/core-108.00.01-noinl.patch b/dev-ml/core/files/core-108.00.01-noinl.patch new file mode 100644 index 000000000000..1e413c48fac9 --- /dev/null +++ b/dev-ml/core/files/core-108.00.01-noinl.patch @@ -0,0 +1,12 @@ +Index: core-108.00.01/lib_test/test.ml +=================================================================== +--- core-108.00.01.orig/lib_test/test.ml ++++ core-108.00.01/lib_test/test.ml +@@ -21,7 +21,6 @@ let all () = + flatten + (TestList + [ +- Core.Inline_tests.tests (); + Avltree_test.test; + Bag_test.test; + Bigbuffer_test.test; |