Re: newfangled sh in libtool

[Karl Berry]

    Does your Solaris 10 system not have /bin/ksh and /bin/bash?

It does.  And I doubt there is any bug in libtool configure.

The problem is somehow related to our redistributing the libtool.m4 file
(which has the $((...)) stuff) in TeX Live; we aren't installing libtool
itself on the Solaris box.

I'll have to delve more to figure out exactly what is happening.  I
don't have any reasonable recipe for you to reproduce at this point, so
never mind.  Sorry for the noise.

Thanks,
Karl