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

[Jakub Wilk <jwilk@xxxxxxxxx>]

* Alejandro Colomar <alx.manpages@xxxxxxxxx>, 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 ...

?

--
Jakub Wilk