>>>>> "PS" == Paul Smith <psm...@gnu.org> writes: PS> In the second example, the "Z" command is by itself so it's "simple" so PS> make uses its fast path solution, which is to fork and exec "Z" PS> directly without a shell. Thus you get an error from make.
OK, but please have the message distinguish like these do: $ cat /tmp/G cat: /tmp/G: No such file or directory $ /tmp/G bash: /tmp/G: No such file or directory $ touch /tmp/G $ cat /tmp/G $ /tmp/G bash: /tmp/G: Permission denied
