Re: [PATCH] make: add install-strip target

On Tue, Aug 17, 2021 at 5:29 PM Johannes Schindelin
[off-list ref] wrote:

On Tue, 17 Aug 2021, Bagas Sanjaya wrote:

quoted

diff --git a/Makefile b/Makefile

@@ -3093,6 +3093,9 @@ endif
+install-strip: all strip

Would those `all` and `strip` targets interfere with one another if `make
-j2` was called? If not, wouldn't it be sufficient to let `install-strip`
depend on `strip` alone?

A more pertinent question, perhaps, is why would we need
`install-strip` at all? What benefit does it provide over simply
typing `make strip install`?