#973409 make: doesn't execute recipes with /bin/sh

Package:
make
Source:
make-dfsg
Description:
utility for directing compilation
Submitter:
Vincent Lefevre
Date:
2023-02-13 14:48:07 UTC
Severity:
normal
Tags:
#973409#5
Date:
2020-10-30 10:01:29 UTC
From:
To:
"make" doesn't execute recipes with /bin/sh. For instance, consider
the following Makefile file:
----------------------------------------
SHELL = /bin/sh

all:
	true
----------------------------------------

and put a script called "true" in your path, containing:

echo foo
exit 1

I get:

$ make
true
foo
make: *** [Makefile:4: all] Error 1

There is no such issue with other SHELL values.

Note: according to POSIX, "true", like some other utilities, is
not subject to PATH search.