diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-20 23:41:21 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-20 23:41:21 +0000 |
| commit | 374561aeaff53ce5a2836af934749923b4ea3763 (patch) | |
| tree | 66880cb44879bf28002f361a4c862814df616b8f /dev-ml/ocamlnet/files | |
| parent | ea0515fa73da4755b498bdb18bd7fd7a13e616cf (diff) | |
gentoo auto-resync : 20:01:2023 - 23:41:20
Diffstat (limited to 'dev-ml/ocamlnet/files')
| -rw-r--r-- | dev-ml/ocamlnet/files/ocamlnet-4.1.9-shuffle.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ml/ocamlnet/files/ocamlnet-4.1.9-shuffle.patch b/dev-ml/ocamlnet/files/ocamlnet-4.1.9-shuffle.patch new file mode 100644 index 000000000000..6b7026faf1e0 --- /dev/null +++ b/dev-ml/ocamlnet/files/ocamlnet-4.1.9-shuffle.patch @@ -0,0 +1,11 @@ +--- a/Makefile.rules 2023-01-20 22:52:47.530898157 +0100 ++++ b/Makefile.rules 2023-01-20 22:53:09.370565670 +0100 +@@ -210,7 +210,7 @@ + # Set NODEP to "@true" in order to disable "depend". + + depend: $(DEP_FILES) +- $(NODEP) $(OCAMLDEP) *.ml *.mli >$@ || { rm -f $@; exit 1; } ++ $(NODEP) $(OCAMLDEP) -ml-synonym .mll *.ml *.mli >$@ || { rm -f $@; exit 1; } + + .PHONY: clean + clean:: genclean |