4484. [bug] Failure to find readline when requested should be fatal to configure. [RT #43328]
This is different to the patch you sent.
Thanks!
But I think that doesn't work in the "yes" case because $readline gets clobbered by the loop that looks for -ledit -lreadline, which is why my original patch was more complicated.