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

+2015-01-16  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+	* optc-save-gen.awk (cl_target_option_print_diff): Mark indent,
+	ptr1, ptr2 unused.
+
 2015-01-16  Robert Suchanek  <robert.suchanek@imgtec.com>
 
 	* lra-constraints.c (curr_insn_transform): Change a reload pseudo of

gcc/optc-save-gen.awk

@@ -505,9 +505,9 @@ print "";
 print "/* Print different target option variables from structures provided as arguments.  */";
 print "void";
 print "cl_target_option_print_diff (FILE *file,";
-print "                             int indent,";
-print "                             struct cl_target_option *ptr1,";
-print "                             struct cl_target_option *ptr2)";
+print "                             int indent ATTRIBUTE_UNUSED,";
+print "                             struct cl_target_option *ptr1 ATTRIBUTE_UNUSED,";
+print "                             struct cl_target_option *ptr2 ATTRIBUTE_UNUSED)";
 print "{";
 
 print "  fputs (\"\\n\", file);";