------- Comment #9 from steven at gcc dot gnu dot org 2006-07-24 22:13 ------- Created an attachment (id=11932) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11932&action=view) Don't prune options that can be "Joined"
Seems to me like pruning Joined options is always wrong. But, HJ, since you're more into this option stuff and you caused the bug, I suppose you can tell whether my patch makes sense... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28437
