[bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process

2007-01-29 Thread Paul D. Smith
Update of bug #18641 (project make): Status:None = Not A Bug Open/Closed:Open = Closed ___ Follow-up Comment #2: I understand that this

[bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process

2007-01-29 Thread Jun Chen
Follow-up Comment #3, bug #18641 (project make): Thanks a lot for your reply, Paul. You catch my meaning right. I believe that the include warning suppression is expected for nearly every person using GNUmake. People use the ``gcc -M' technique mentioned in GNU make manual to generate .d files

[bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process

2007-01-29 Thread Paul D. Smith
Follow-up Comment #4, bug #18641 (project make): The method for auto-generating dependencies described in the GNU make manual is not the state-of-the-art method. You should check my website http://make.paulandlesley.org and look at the advanced auto-dependency generation description there.

RE: RE: [bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process

2007-01-03 Thread Martin Dorey
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

[bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process

2007-01-03 Thread Jun Chen
Follow-up Comment #1, bug #18641 (project make): [2007-01-04] Well, with the help of Martin Dorey, I've got to know that this bug has nothing to do with make's $(error ) function, but a make behavior change for ``-include '' directive. Since I used ``-include $(_p_SubprjsMade)'' instead of

Re: RE: [bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process

2007-01-03 Thread Chen Jun (陈军)
: 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

[bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process

2006-12-30 Thread Jun Chen
URL: http://savannah.gnu.org/bugs/?18641 Summary: GNUmake 3.81, $(error ) sometimes unable to stop make process Project: make Submitted by: chjfth Submitted on: Saturday 12/30/2006 at 22:03 Severity: 3 - Normal

Re: [bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process

2006-12-30 Thread Martin Dorey
PROTECTED]; bug-make@gnu.org bug-make@gnu.org Sent: Sat Dec 30 06:03:44 2006 Subject: [bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process URL: http://savannah.gnu.org/bugs/?18641 Summary: GNUmake 3.81, $(error ) sometimes unable to stop make process

RE: [bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process

2006-12-30 Thread Martin Dorey
@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 for $(_p_SubprjsMade) to fail when its invocation of ${MAKE} -f $(_p_mk_MakeSubPrjs) fails. Suggest rewriting the last two lines as: @${MAKE} -f