bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: configure: gl_PTHREAD_RWLOCK_RDLOCK_PREFER_WRITER: command not found


From: Chet Ramey
Subject: Re: configure: gl_PTHREAD_RWLOCK_RDLOCK_PREFER_WRITER: command not found
Date: Wed, 20 Feb 2019 09:11:46 -0500
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:60.0) Gecko/20100101 Thunderbird/60.5.1

On 2/19/19 10:24 PM, Eduardo A. Bustamante López wrote:
> Commit `be4078d25ff3af268a6ef7ab56c8121f9a8dfb36' introduced the following 
> issue:
> 
> | address@hidden:~/src/gnu/bash$ ./configure --silent
> | 
> | Beginning configuration for bash-5.0-maint for x86_64-pc-linux-gnu
> | 
> | ./configure: line 9614: gl_PTHREAD_RWLOCK_RDLOCK_PREFER_WRITER: command not 
> found
> | config.status: creating po/POTFILES
> | config.status: creating po/Makefile
> 
> There's no mention of these changes in the changelog, so I don't really 
> understand what's broken or how to fix it.

http://lists.gnu.org/archive/html/bug-bash/2019-02/msg00053.html

It's not done, obviously.

-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    address@hidden    http://tiswww.cwru.edu/~chet/



reply via email to

[Prev in Thread] Current Thread [Next in Thread]