bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Paul D. Smith
Subject: [bug #18641] GNUmake 3.81, $(error ) sometimes unable to stop make process
Date: Mon, 29 Jan 2007 16:35:19 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.1) Gecko/20060601 Firefox/2.0.0.1 (Ubuntu-edgy)

Update of bug #18641 (project make):

                  Status:                    None => Not A Bug              
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #2:

I understand that this is an undocumented change in behavior.  However, I
think the new behavior is consistent with the documentation... if the user
suggests that the file does not need to exist for inclusion via "-include"
then it makes sense to me that a failure to build that file should not cause
make to exit.

I think what you really want is a solution to bug #102, so that you can have
mandatory include files but not get any warnings/errors unless they really
can't be built.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?18641>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/





reply via email to

[Prev in Thread] Current Thread [Next in Thread]