Re: make mdi: shell limit exceeded

[Roland Illig <roland.illig%gmx.de@localhost>]

Am 12.05.2024 um 22:51 schrieb Thomas Klausner:
> On Sun, May 12, 2024 at 10:40:51PM +0200, Roland Illig wrote:
>> Or you could run "make -n > mdi.sh" and then run "sh mdi.sh" manually. I
>> never tried it that way, but I guess this is supposed to work.
>
> I also tried that but the shell script is 268kB and running it with
> 'sh mdi.sh' also doesn't work.
>
> mdi.sh: /usr/bin/env: argument list too long

More than a megabyte is a whole lot for a distinfo file. Maybe we need
to add another option to mk/checksum/distinfo.awk that accepts the
filenames not on the command line but reads them from a separate file.