diff options
| author | Pino Toscano <pino@debian.org> | 2013-09-23 14:11:14 +0200 |
|---|---|---|
| committer | Pino Toscano <pino@debian.org> | 2013-09-23 14:11:14 +0200 |
| commit | 0bc8eb2bc2ac33cedef15ab3183e1eb5abd529e1 (patch) | |
| tree | 4f407fd529a37dd4df5d46573f484a65173fcf61 /random/gnupg-random.h | |
| parent | 9e5b6a0ace0f824b7f23720409c9c2442cad90cb (diff) | |
do a separate build for the udeb variant
this way it can have a different configuration:
- use build-udeb as build dir
- use debian/tmp-udeb as DESTDIR, and use it as sourcedir for dh_install
of *-udeb binaries
Diffstat (limited to 'random/gnupg-random.h')
0 files changed, 0 insertions, 0 deletions