URL:
<https://savannah.gnu.org/bugs/?57625>
Summary: Shell builtins not working unless explicitly set
SHELL to "sh"
Project: make
Submitted by: None
Submitted on: Sat 18 Jan 2020 12:48:39 PM UTC
Severity: 3 - Normal
Item Group: Bug
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Component Version: 4.2.1
Operating System: POSIX-Based
Fixed Release: None
Triage Status: None
_______________________________________________________
Details:
Example contents of makefile:
.POSIX:
#SHELL = sh
.PHONY: run
run:
type make
The target fails because "make: type: Command not found".
If you uncomment the line, it works just fine and outputs "/usr/bin/make". The
documentation
(https://www.gnu.org/software/make/manual/html_node/Choosing-the-Shell.html#Choosing-the-Shell)
says that the default shell is "sh", so I'm not sure why setting SHELL to "sh"
should affect the execution of commands.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?57625>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
