Hello, On Tue, 03 Apr 2012, Miguel Colon wrote: > I would guess the DEB_BUILD_OPTIONS="noopt" problem should be reported > against the package that suffer from this case
Yes, definitely. > but should not the user options in DEB_flag_* (or > $XDG_CONFIG_HOME/dpkg/buildflags.conf) override the > DEB_flag_MAINT_* equivalent? No. DEB_*_MAINT_* were designed to have precedence over the other variables. I agree it's unfortunate when they are used to change default values... I did not think of this when I replied to the bug report that you quoted. Package can use the STRIP + PREPEND commands to set defaults but it's not a really nice interface either. I'm not sure what the proper approach would be. On the other hand, I'm not entirely convinced that it's important to let the user have the last word in cases where maintainers have opted for a specific optimization level: - building with -Os is typically made for udeb and I don't see a compelling reason to have the possibility to change the maintainer choice via the environment variable - building with -O3 is often picked as a work-around when -O2 doesn't give the expected result, why would you want to pick another optimization level? if you want -O0, then it's the noopt option that you should be using Cheers, -- Raphaël Hertzog ◈ Debian Developer Pre-order a copy of the Debian Administrator's Handbook and help liberate it: http://debian-handbook.info/liberation/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
