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 manual advice!), i have to create a minimal makefile to get over it: $ echo all: > y.mk; make -p -f y.mk then exit status is 0. --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)