03, 2007 19:57
To: Martin Dorey; [EMAIL PROTECTED]; [EMAIL PROTECTED]; [EMAIL PROTECTED];
bug-make@gnu.org
Subject: Re: RE: [bug #18641] GNUmake 3.81,$(error ) sometimes unable to stop
make process
Hello, Martin Dorey,
Thank you very much for your investigation, now I've realized that the source
: Saturday, December 30, 2006 7:05
To: [EMAIL PROTECTED]; [EMAIL PROTECTED];
[EMAIL PROTECTED]; [EMAIL PROTECTED]; [EMAIL PROTECTED];
bug-make@gnu.org
Subject: Re: [bug #18641] GNUmake 3.81,$(error ) sometimes unable to
stop make process
To get the behavior you want, you need the rule