diff options
Diffstat (limited to 'testing/ocaml-xml-light/Makefile-explicit-target-fix.patch')
| -rw-r--r-- | testing/ocaml-xml-light/Makefile-explicit-target-fix.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testing/ocaml-xml-light/Makefile-explicit-target-fix.patch b/testing/ocaml-xml-light/Makefile-explicit-target-fix.patch new file mode 100644 index 0000000000..ebf09faa04 --- /dev/null +++ b/testing/ocaml-xml-light/Makefile-explicit-target-fix.patch @@ -0,0 +1,11 @@ +--- a/Makefile ++++ b/Makefile +@@ -78,6 +78,8 @@ + + xml.cmi: + ++xml_parser.mli: ++ + xmlParser.cmi: dtd.cmi xml.cmi + + xml_lexer.cmi: dtd.cmi |