Bug#157131: PROPOSAL] Suggest to minimize optimization when DEB_BUILD_OPTIONS contains "debug"

2002-08-17 Thread Colin Walters
[ No need to CC me, btw, despite the evil the BTS does to Reply-To ] On Sat, 2002-08-17 at 23:14, Marcus Brinkmann wrote: > You might want to add a warning that this needs to be tested. Some > packages, like glibc or the Hurd, can not be built without optimization > (for example because of inlin

Bug#157131: PROPOSAL] Suggest to minimize optimization when DEB_BUILD_OPTIONS contains "debug"

2002-08-17 Thread Peter Palfrader
On Sat, 17 Aug 2002, Colin Walters wrote: > The attached patch should mostly speak for itself. I think it's great > that a lot of packages support DEB_BUILD_OPTIONS=debug now, but if the > program is compiled with optimization, it's very difficult to debug. > --- debian-policy-3.5.6.1/policy.sgm

Bug#157131: PROPOSAL] Suggest to minimize optimization when DEB_BUILD_OPTIONS contains "debug"

2002-08-17 Thread Marcus Brinkmann
On Sat, Aug 17, 2002 at 10:41:11PM -0400, Colin Walters wrote: > Package: debian-policy > Severity: wishlist > > The attached patch should mostly speak for itself. I think it's great > that a lot of packages support DEB_BUILD_OPTIONS=debug now, but if the > program is compiled with optimization,

Bug#157131: [PROPOSAL] Suggest to minimize optimization when DEB_BUILD_OPTIONS contains "debug"

2002-08-17 Thread Colin Walters
Package: debian-policy Severity: wishlist The attached patch should mostly speak for itself. I think it's great that a lot of packages support DEB_BUILD_OPTIONS=debug now, but if the program is compiled with optimization, it's very difficult to debug. Another alternative is to make a whole diffe

Processed: Re: Bug#155680: PROPOSAL ] bump priority of window managers which support WMSP

2002-08-17 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: > retitle 155680 [ACCEPTED] bump priority of window managers which support WMSP Bug#155680: [ PROPOSAL ] bump priority of window managers which support WMSP Changed Bug title. > thanks Stopping processing here. Please contact me if you need assistance.

Bug#155680: PROPOSAL ] bump priority of window managers which support WMSP

2002-08-17 Thread Branden Robinson
On Mon, Aug 12, 2002 at 10:43:06PM -0400, Colin Walters wrote: > Well, are we basically in rough consensus about this now? > > Here's an updated patch which just makes the priority increase 20 > instead of 30. I don't object. -- G. Branden Robinson| "I came, I saw, she conq