Following a discussion (make mdi: shell limit exceeded) on tech-pkg@,
I keep asking myself whether there's a sensible way to output the contents
of a make variable to a file (or pipe), even if the contents exceeds ARG_MAX.
> Following a discussion (make mdi: shell limit exceeded) on tech-pkg@,
> I keep asking myself whether there's a sensible way to output the
> contents a make variable to a file (or pipe), even if the contents
> exceeds ARG_MAX.
Does "make -V '$VARIABLE'" (or without the $, depending on exactly wha
Am 16.05.2024 um 18:09 schrieb Edgar Fuß:
> Following a discussion (make mdi: shell limit exceeded) on tech-pkg@,
> I keep asking myself whether there's a sensible way to output the
> contents of a make variable to a file (or pipe), even if the contents
> exceeds ARG_MAX.
In usr.bin/make from May
> 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.
So something like ${VAR:wfile} or ${VAR:|echo >file}.
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/k
