Steffen Nurpmeso wrote in <20201219002850.u0mml%stef...@sdaoden.eu>: |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 childs) i stumbled upon the fact that ... |Oh. I see, sorry for the noise then! ...
And sorry for even more noise, but it turns out not to be a BSD make issue, but problems with mksh, and dash and other ash variants, the problem of the latter also can be seen with GNU make. I just wanted to say this in public, after the above. (It just happened due to the environment of my user account that the bug does not show up on Linux with GNU make until now.) Sorry, again, and Ciao and a nice weekend from Germany, --steffen | |Der Kragenbaer, The moon bear, |der holt sich munter he cheerfully and one by one |einen nach dem anderen runter wa.ks himself off |(By Robert Gernhardt)