Re: Weird set -u error

[Greg Wooledge]

On Fri, Aug 26, 2022 at 02:51:47PM +0100, Tim Woodall wrote:
> The real Makefile has -euo pipefail

I have stopped reading and caring now.  Good luck.