Re: Feature request / patch: dependency-only prerequisites

2019-07-09 Thread Paul Smith
On Tue, 2019-07-09 at 20:19 +0200, Christof Warlich wrote: > Am 09.07.19 um 15:42 schrieb David Boyce: > > I also think the proposal is reasonable but I think it would be > > "stickier", i.e. less likely to get lost, if you filed it as an > > enhancement request via the Savannah bug reporting syste

Re: Feature request / patch: dependency-only prerequisites

2019-07-09 Thread David Boyce
I don't claim to know much about how Savannah works but I see anonymous bug reports and RFEs come in frequently so it seems you don't need a login to make one. https://www.gnu.org/software/make/manual/html_node/Bugs.html On Tue, Jul 9, 2019 at 11:19 AM Christof Warlich wrote: > Am 09.07.19 um 1

Re: Feature request / patch: dependency-only prerequisites

2019-07-09 Thread Christof Warlich
Am 09.07.19 um 15:42 schrieb David Boyce: I also think the proposal is reasonable but I think it would be "stickier", i.e. less likely to get lost, if you filed it as an enhancement request via the Savannah bug reporting system. I'd be glad to do that if it increases the chance to get it in. Bu

Re: Feature request / patch: dependency-only prerequisites

2019-07-09 Thread David Boyce
I also think the proposal is reasonable but I think it would be "stickier", i.e. less likely to get lost, if you filed it as an enhancement request via the Savannah bug reporting system. On Tue, Jul 9, 2019 at 5:27 AM Tim Murphy wrote: > I quite like this idea because so many of us work on integ

Re: Feature request / patch: dependency-only prerequisites

2019-07-09 Thread Tim Murphy
I quite like this idea because so many of us work on integrating things that we have no permission to modify and we need ways to make them work cleanly without messing them up. They are sort of "fix-up" or "patch" dependencies. I'm not sure the name makes this clear though. Regards, Tim On Sat