[bug #57625] Shell builtins not working unless explicitly set SHELL to "sh"

[anonymous]

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/