Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > That would work, too. At the same time: wouldn't it be nicer to let `make > -j15 strip install` Do The Right Thing? Oh, absolutely. With "make all install" and "make strip install", building (and optional stripping) should complete before the "install" target kicks in. It may be a bit tricky to implement, though. Making 'install' depend unconditionally on 'all' is trivial, but we want it to depend on 'strip' only when 'strip' is part of the targets requested.
