[Bug 519038] Re: GNU make package does not use dpkg alternatives system

2010-02-15 Thread Alex Wauck
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

2010-02-15 Thread Matthias Klose
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

2010-02-08 Thread Alex Wauck

** 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