Hi, >> I suppose targets can override this decision. > I think they probably could via the override_options mechanism.
Yes, it's trivial to add this to target_option_override(): if (!global_options_set.x_flag_no_common) flag_no_common = 0; Cheers, Wilco