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