Mark cl_target_option_print_diff args unused
authorRainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
Fri, 16 Jan 2015 12:58:20 +0000 (12:58 +0000)
committerRainer Orth <ro@gcc.gnu.org>
Fri, 16 Jan 2015 12:58:20 +0000 (12:58 +0000)
commiteb13ee31dbf5b07b443fa2ea94441031075f8ecc
tree4bb1fbf972ceb51fbb1299b65344be0178ce85e6
parentdc9a54fa10a05bd30aea60555f8fde6a4aa47733
Mark cl_target_option_print_diff args unused

* optc-save-gen.awk (cl_target_option_print_diff): Mark indent,
ptr1, ptr2 unused.

From-SVN: r219732
gcc/ChangeLog
gcc/optc-save-gen.awk