make: recognize more shell built-ins

[Peter Pentchev]

Hi,

Thanks a lot for taking care of GNU make in Ubuntu!

Please take a look at https://bugs.debian.org/1007969 for the bug report itself and the two patches that backport upstream commits from version 4.3. In short, make(1) does not realize that it needs to execute some commands via /bin/sh, it tries to run e.g. "command" directly, which fails in Makefiles that try to use "command -v" or "command -pv" to figure out the full path of an executable program.

Thanks in advance, and keep up the great work!

G'luck,
Peter

ProblemType: Bug
DistroRelease: Ubuntu 20.04
Package: make 4.2.1-1.2
Uname: Linux 5.16.0-4-amd64 x86_64
ApportVersion: 2.20.11-0ubuntu27.21
Architecture: amd64
CasperMD5CheckResult: skip
Date: Sat Mar 19 18:42:11 2022
ProcEnviron:
 TERM=screen
 PATH=(custom, no user)
 SHELL=/bin/bash
SourcePackage: make-dfsg
UpgradeStatus: No upgrade log present (probably fresh install)