On Mon, 2026-02-09 at 23:33 +0100, Peter Dyballa wrote: > One question on the topic: it's 'gmake -p' not 'gmake -dp'?
The -p option is in addition to any other options. But, in theory that output shouldn't change as long as the makefiles don't change. That option dumps the results of make's internal databases it constructs after it reads the makefiles. So you don't have to actually run the build. In theory something like "make -pn" (which doesn't actually build anything) would work too.
