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
