Re: configure: gl_PTHREAD_RWLOCK_RDLOCK_PREFER_WRITER: command not found

2019-02-20 Thread Chet Ramey
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 > | > | ./confi

Re: configure: gl_PTHREAD_RWLOCK_RDLOCK_PREFER_WRITER: command not found

2019-02-20 Thread Chet Ramey
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 > | > | ./confi

configure: gl_PTHREAD_RWLOCK_RDLOCK_PREFER_WRITER: command not found

2019-02-19 Thread Eduardo A . Bustamante López
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 fo