Re: zsh-3.1.3 released

[Helmut Jarausch <jarausch@xxxxxxxxxxxxxxxxxxx>]

>> Helmut Jarausch writes:
>> >Has anybody successfully built this release?
>> >
>> Just apply this patch to configure:
>> 
>> ------------------------ clip clip clip ------------------------
>> 
>> *** configure	Fri May  1 01:03:51 1998
>> --- configure.working	Mon May  4 19:08:44 1998
>> *************** test "$no_create" = yes || ${CONFIG_SHEL
>> *** 4803,4809 ****
>>   
>>   
>>   (
>> !   echo ',s@^\( *ac_file_inputs=\).*$@\1`echo $ac_file_in | sed -e "s%^%:%" -e "s%:\\([^!]\\)% $ac_given_srcdir/\\1%g" -e "s%:!% %"`@'
>>     echo '/ac_sed_cmds=cat/+a'
>>     echo ''
>>     echo 'ac_sed_inc_cmds="'
>> --- 4803,4809 ----
>>   
>>   
>>   (
>> !   echo ',s@^\( *ac_file_inputs=\).*$@\1`echo $ac_file_in | sed -e "s%:\\([^!]\\)% $ac_given_srcdir/\\1%g" -e "s%!% %"`@'
>>     echo '/ac_sed_cmds=cat/+a'
>>     echo ''
>>     echo 'ac_sed_inc_cmds="'
>> 
>> ------------------------ clip clip clip ------------------------
>> 
>> 	 Marko Heikkinen

Yes, now it builds, but the new zsh dies of a segment fault here!

Any ideas?

Thanks,
Helmut.