[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:
>
> | dualbus@system76-pc:~/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 chet@case.edu http://tiswww.cwru.edu/~chet/