Re: [PATCH v7 4/8] regex.3: Improve REG_STARTEND

[Alejandro Colomar]

Hi Jakub,

On 4/21/23 12:44, Jakub Wilk wrote:
> * Alejandro Colomar <alx.manpages@gmail.com>, 2023-04-21 12:22:
>> -SHELL := /bin/bash -Eeuo pipefail
>> +SHELL := /usr/bin/env bash -Eeuo pipefail
>>
>>
>> MAKEFLAGS += --no-print-directory
>>
>>
>> This helps in systems where bash(1) is not a system command (probably 
>> MacOS, and maybe others).
> 
> Yeah, but why not use simply
> 
>      SHELL = bash ...
> 
> ?

I couldn't find documentation that guarantees that that should work,
so we used shebang style, which will work for sure.

I CCd bug-make@, in case they can confirm what is safe and what is not.

Thanks,
Alex

-- 
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5

OpenPGP_signature
Description: OpenPGP digital signature