Ubuntu
ubuntu-dev-tools package

Bug #974132
Comment #2

Comment 2 for bug 974132

Revision history for this message

Benjamin Drung (bdrung) wrote on 2012-04-05:

#2

backportpackage-debian.patch Edit (1.2 KiB, text/plain)

Here's a quick hack to generate the correct prefix for a Debian target.