Re: cirrus scripts could use make -k

2022-12-23 Thread Andres Freund
Hi, On 2022-12-15 12:31:26 +0100, Peter Eisentraut wrote: > I would find it useful if the cirrus scripts used make -k (and ninja -k) to > keep building everything in the presence of errors. For example, I once had > some issue in code that caused a bunch of compiler warnings on Windows. The >

cirrus scripts could use make -k

2022-12-15 Thread Peter Eisentraut
I would find it useful if the cirrus scripts used make -k (and ninja -k) to keep building everything in the presence of errors. For example, I once had some issue in code that caused a bunch of compiler warnings on Windows. The cirrus build would only show me the first one, then I had to