On Thu, 16 May 2024, Edgar Fuß wrote:
Does "make -V '$VARIABLE'" (or without the $, depending on exactly what you want) not work? I must be missing something.The point is to do this in a makefile, not as an isolated invocation of make.
As Mouse said: $ cat Makefile X != cat /usr/src/sys/kern/*.c main: .PHONY make -V X | wc -c $ make 4938515 $ -RVP