On Thu, Oct 6, 2022, at 4:25 PM, Karl Berry wrote: > No errors on RHEL7+autoconf2.71 > > Puzzling. Can you easily try RHEL8 or one of its derivatives? > It surprises me that that is the culprit, but it seems possible.
Unfortunately, no. CMU is mostly an Ubuntu shop these days. It's only dumb luck that I happen to have access to a machine that hasn't had a major system upgrade since 2012 (and with my day-job hat on I'm actively trying to *get* it upgraded -- to Ubuntu.) zw