Manuel Pégourié-Gonnard wrote:
> [building with bash on the system, but /bin/sh != bash]
> 
> On 07/01/2010 13:58, Taco Hoekwater wrote:
>> Norbert Preining wrote:
>>> I would suggest:
>>>
>>>     if which bash >/dev/null
>>>     then
>>>             export CONFIG_SHELL=`which bash`
>>>     fi
>>>
>>> which would work on computers where bash is not in /bin (yes there are!)
>> Committed (I will/can not test this myself, I have /bin/bash as
>> login shell and am perfectly happy with that).
>>
> Hum, though I cannot find a reference right now, I seem to remember it was 
> fixed
> in the TL build system some time ago by using a more recent libtools.
> 
> Taco, when was the last time you updated the build system
> from TeX Live?

A few weeks before the freeze of TL2009 (so a while back already)

Best wishes,
Taco

Reply via email to