>>>>> "Paolo" == Paolo Bonzini <bonz...@gnu.org> writes:
Paolo> Can you put before patch 4 another that defines OUTPUT_OPTION to "-o $@" Paolo> unconditionally and removes all traces of NO_MINUS_C_MINUS_O? Sure thing. Paolo> The series looks okay to me with that change. Thanks very much for your reviews. I'll send an updated series for a last look-over soon. A few of the patches needed minor tweaks when rebasing today (mostly just differences in the dependencies causing conflicts). I'll spend more time rewriting the ChangeLog entries... Tom