make-alpha
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

make should detect/report write errors


From: Jim Meyering
Subject: make should detect/report write errors
Date: Thu, 10 Feb 2005 10:19:21 +0100

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]