[bug #64085] -e passed to shell in POSIX mode with -i or .IGNORE

2023-04-21 Thread anonymous
URL: Summary: -e passed to shell in POSIX mode with -i or .IGNORE Group: make Submitter: None Submitted: Fri 21 Apr 2023 12:55:10 PM UTC Severity: 3 - Normal Ite

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

2023-04-21 Thread Alejandro Colomar
Hi Jakub, On 4/21/23 12:44, Jakub Wilk wrote: > * Alejandro Colomar , 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 >>