[Bug 519038] Re: GNU make package does not use dpkg alternatives system
Hmm...that probably would be the proper way to do it. Since I can't think of any other common situations where this would be appropriate, I will close this bug. ** Changed in: make-dfsg (Ubuntu) Status: New => Invalid -- GNU make package does not use dpkg alternatives system https://bugs.launchpad.net/bugs/519038 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 519038] Re: GNU make package does not use dpkg alternatives system
imo, this is a bad idea. if you want to do that, you should modify the package including makeinvoker to include a symlink to make in a private directory and add this to your PATH. -- GNU make package does not use dpkg alternatives system https://bugs.launchpad.net/bugs/519038 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 519038] Re: GNU make package does not use dpkg alternatives system
** Attachment added: "Dependencies.txt" http://launchpadlibrarian.net/38904499/Dependencies.txt -- GNU make package does not use dpkg alternatives system https://bugs.launchpad.net/bugs/519038 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs