diff options
Diffstat (limited to 'dev-util/coccinelle/files/coccinelle-1.1.1-shuffle.patch')
-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: |