Hi Jakub, On 4/21/23 12:44, Jakub Wilk wrote: > * Alejandro Colomar <alx.manpa...@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
