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
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
