Richard Kenner wrote:
Not much. I'm convinced it would be feasible, but definitely not easy,
so I wanted to see how much interest there was - seems like some, but
not a lot.
Would this comprise retrofitting the support into the 4.2 branch?
I don't think it's needed in the 4.2 branch since you can get the functionality
with --disable-bootstrap (or whatever it's called). It's only in 4.3 that
that option will be removed and hence the functionality otherwise lost.
No, --disable-bootstrap *will* remain forever. What will be lost is the
possibility to do
../configure --disable-bootstrap
make bootstrap
Paolo