Hello!
While finding a way to truly detect whether being run by BSD make
(which cannot supervise a shell script that turns on "set -m" to
monitors its childs) i stumbled upon the fact that
$ make -p
exits 2. Even if i follow the manual advice
$ make -p -f /dev/null
i get complains (bad ma
On Sat, 2020-12-19 at 00:04 +0100, Steffen Nurpmeso wrote:
> While finding a way to truly detect whether being run by BSD make
> (which cannot supervise a shell script that turns on "set -m" to
> monitors its childs) i stumbled upon the fact that
>
> $ make -p
>
> exits 2.
Yes. The manual say
Paul Smith wrote in
<898afb17671ea69f18ae7a4ed22a57aa35eb87e0.ca...@gnu.org>:
|On Sat, 2020-12-19 at 00:04 +0100, Steffen Nurpmeso wrote:
|> While finding a way to truly detect whether being run by BSD make
|> (which cannot supervise a shell script that turns on "set -m" to
|> monitors its chi