diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2014-02-25 14:26:18 +0100 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2014-03-13 13:58:44 +0100 |
| commit | ce7f128c020e1347f91c6074238fc5da58c5df71 (patch) | |
| tree | d7ee2d69fd674597f61c170e415ffc4d1b7d6570 /debian/source | |
| parent | 565ded7b65240b25ad8551789ac388c8ce72b1f4 (diff) | |
support DEB_BUILD_PROFILES and -P for build profiles
Inspired by the rest of the patch in 661537, but abstract the
parsing of various ways of setting the build profiles more so it can
potentially be reused and all apt parts have the same behaviour.
Especially config options, cmdline options and environment will not be
combined as proposed as this isn't APTs usual behaviour and dpkg doesn't
do it either, so one overrides the other as it normally does.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions