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
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 $(_p_mk_MakeSubPrjs) \
touch $@
(echo -n $@ is fine - touch $@ is just more usual
@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
