Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-shuffle.patch
blob: 49a4626e090133a7ea20e384c24cafcc139841c8 (plain) 
1
2
3
4
5
6
7
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