diff options
Diffstat (limited to 'dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-shuffle.patch')
| -rw-r--r-- | dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-shuffle.patch | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-shuffle.patch b/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-shuffle.patch new file mode 100644 index 000000000000..49a4626e0901 --- /dev/null +++ b/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-shuffle.patch @@ -0,0 +1,8 @@ +--- a/OCamlMakefile 2023-01-26 08:33:13.101689847 +0100 ++++ b/OCamlMakefile 2023-01-26 08:34:59.133050720 +0100 +@@ -1117,3 +1117,5 @@ + .PHONY: nobackup + nobackup: + rm -f *.bak *~ *.dup ++ ++inilexer.cmi : parseini.cmo |