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

Reply via email to