Closed sebschrader closed 1 year ago
GNU make earlier than 4.2.90 does not detect the POSIX shell built-in command and tries to directly call a executable named command:
command
make: command: Command not found
This error was introduced in #121 by https://github.com/agdsn/hades/pull/121/commits/e1250de0376478937198013b6f783a194907b660
GNU make earlier than 4.2.90 does not detect the POSIX shell built-in
command
and tries to directly call a executable namedcommand
:This error was introduced in #121 by https://github.com/agdsn/hades/pull/121/commits/e1250de0376478937198013b6f783a194907b660