[BuildTools-tickets] [BuildTools] #76: several public headers mess with user's projects
BuildTools
coin-trac at coin-or.org
Mon May 3 17:43:02 EDT 2010
#76: several public headers mess with user's projects
-------------------+--------------------------------------------------------
Reporter: bubla | Owner: andreasw
Type: defect | Status: new
Priority: major | Component: configuration tests
Version: 0.5 | Keywords:
-------------------+--------------------------------------------------------
Comment(by bubla):
I think that a fix it should be relatively easy.
I am going to investigate more and I will write here or to the mailing
list if I have some findings / questions.
Regards,
Matěj
--
Ticket URL: <https://projects.coin-or.org/BuildTools/ticket/76#comment:3>
BuildTools <http://projects.coin-or.org/BuildTools>
Tools for configuring and compiling COIN-OR codes
More information about the BuildTools-tickets
mailing list