Andres Freund <and...@anarazel.de> writes: > On 2023-02-01 09:49:00 -0800, Andres Freund wrote: >> On 2023-02-01 12:23:27 -0500, Tom Lane wrote: >>> And the minimum version appears to be newer than RHEL8's 1.8.2, which >>> I find pretty unfortunate.
> Unfortunately the test script accidentally pulled in ninja from epel, > hence not noticing the issue. Ah. For myself, pulling the newer version from epel would not be a big problem. I think what we need to do is figure out what is the minimum ninja version we want to support, and then see if we need to make any of these changes. I don't have hard data on which distros have which versions of ninja, but surely somebody checked that at some point? regards, tom lane