[Top][All Lists]
[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