make should detect/report write errors

Hi Paul,

I was surprised to see that make doesn't seem to detect
any write errors.  For example, the following command causes
a failed write, but still exits successfully (with no diagnostic):

  $ echo 'a:;'|make -p -f - a > /dev/full
  $

It'd be nice if it did something like this instead:

  $ echo > /dev/full
  echo: write error: No space left on device
  [Exit 1]

Jim