On Tue, Aug 17, 2021 at 5:29 PM Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > On Tue, 17 Aug 2021, Bagas Sanjaya wrote: > > 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`?
