diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-06-06 08:40:44 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-06 08:40:44 +0200 |
| commit | fad68b819ce5e02ada95dc8fc7ff36616267cf09 (patch) | |
| tree | 6100dd1b801ee1cb503fc4aa90aeea29f854852e /dev-util/coccinelle/files | |
| parent | dev-ml/dune: drop 3.8.0, 3.9.0, 3.9.1 (diff) | |
| download | gentoo-fad68b819ce5e02ada95dc8fc7ff36616267cf09.tar.gz gentoo-fad68b819ce5e02ada95dc8fc7ff36616267cf09.tar.bz2 gentoo-fad68b819ce5e02ada95dc8fc7ff36616267cf09.zip | |
dev-util/coccinelle: fix make
Closes: https://bugs.gentoo.org/888769
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-util/coccinelle/files')
| -rw-r--r-- | dev-util/coccinelle/files/coccinelle-1.1.1-shuffle.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dev-util/coccinelle/files/coccinelle-1.1.1-shuffle.patch b/dev-util/coccinelle/files/coccinelle-1.1.1-shuffle.patch new file mode 100644 index 000000000000..0b3059e02529 --- /dev/null +++ b/dev-util/coccinelle/files/coccinelle-1.1.1-shuffle.patch @@ -0,0 +1,12 @@ +--- a/Makefile 2024-06-06 08:37:24.033420168 +0200 ++++ b/Makefile 2024-06-06 08:37:54.188080138 +0200 +@@ -283,7 +283,8 @@ + byt-only byte-only byte : $(foreach tool,$(TOOLS),$(PREFIX_$(tool))$(tool)) + + .PHONY: install +-install: install-spatch install-spgen install-python install-bash install-man ++install: install-spatch ++ $(MAKE) install-spgen install-python install-bash install-man + + .PHONY: install-bash + install-bash: |