diff options
| author | Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> | 2015-01-16 12:58:20 +0000 |
|---|---|---|
| committer | Rainer Orth <ro@gcc.gnu.org> | 2015-01-16 12:58:20 +0000 |
| commit | eb13ee31dbf5b07b443fa2ea94441031075f8ecc (patch) | |
| tree | 4bb1fbf972ceb51fbb1299b65344be0178ce85e6 /gcc/optc-save-gen.awk | |
| parent | dc9a54fa10a05bd30aea60555f8fde6a4aa47733 (diff) | |
| download | gcc-eb13ee31dbf5b07b443fa2ea94441031075f8ecc.zip gcc-eb13ee31dbf5b07b443fa2ea94441031075f8ecc.tar.gz gcc-eb13ee31dbf5b07b443fa2ea94441031075f8ecc.tar.bz2 | |
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
Diffstat (limited to 'gcc/optc-save-gen.awk')
| -rw-r--r-- | gcc/optc-save-gen.awk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/optc-save-gen.awk b/gcc/optc-save-gen.awk index add0949..58732c0 100644 --- a/gcc/optc-save-gen.awk +++ b/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);"; |