Date: Wed, 11 Jan 1995 09:25:39 +0800
From: tim AT pi DOT la DOT tce DOT com (Tim Freeman)
To: bdavidson AT ra DOT isisnet DOT com
Cc: djgpp AT sun DOT soe DOT clarkson DOT edu
Subject: Re: bug in djgpp's make

>In short, I haven't tried this lately with 
>another make but I am not sure it is a bug, just a gotcha!

I've tried it with Gnu make under Unix.  The Djgpp behavior is a bug.
Our makefiles often run for an hour.  Failed commands don't always
cause the commands that depend on them to fail, so it's important for
make to stop because otherwise the wrong output is produced and nobody
notices.

Tim