Re: Bug#43787: changed title, and remade the proposed change
On Thu, Sep 09, 1999 at 05:06:32PM -0400, Raul Miller wrote:
>
> Personally, I'd recommend defining DEB_DEBUG_OPTION=debug-strip which
> would build with debugging symbols, but strip for package generation
> then strip.
Mmh. I see your point. What about having "debug" and "strip"? This would
allow for:
DEB_DEBUG_OPTION=debug nostrip # Build debug packages.
DEB_DEBUG_OPTION=debug # Build debug files, but strip them in package.
This means, stripping is default.
> This alone would address most of (a) and (b). The only
> options I can think of for (c) are: don't use =debug or somehow rename
> the package at build time.
In case of (c), I would say the above suggestion (strip being default),
addresses it. OTOH, we never can prevent random errors/failure conditions.
Thanks,
Marcus
--
`Rhubarb is no Egyptian god.' Debian http://www.debian.org Check Key server
Marcus Brinkmann GNU http://www.gnu.org for public PGP Key
Marcus.Brinkmann@ruhr-uni-bochum.de PGP Key ID 36E7CD09
http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/
Reply to:
- References:
- Re: Bug#43787: changed title, and remade the proposed change
- From: Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de>
- Re: Bug#43787: changed title, and remade the proposed change
- From: Raul Miller <moth@debian.org>
- Re: Bug#43787: changed title, and remade the proposed change
- From: Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de>
- Re: Bug#43787: changed title, and remade the proposed change
- From: Anthony Towns <aj@azure.humbug.org.au>
- Re: Bug#43787: changed title, and remade the proposed change
- From: Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de>
- Re: Bug#43787: changed title, and remade the proposed change
- From: Ben Collins <bcollins@debian.org>
- Re: Bug#43787: changed title, and remade the proposed change
- From: Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de>
- Re: Bug#43787: changed title, and remade the proposed change
- From: Ben Collins <bcollins@debian.org>
- Re: Bug#43787: changed title, and remade the proposed change
- From: Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de>
- Re: Bug#43787: changed title, and remade the proposed change
- From: Raul Miller <raul@usatoday.com>