diff options
| -rw-r--r-- | gcc/pretty-print.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/pretty-print.h b/gcc/pretty-print.h index 3b6d18e92..d57d98678 100644 --- a/gcc/pretty-print.h +++ b/gcc/pretty-print.h @@ -305,7 +305,7 @@ extern void pp_base_append_text (pretty_printer *, const char *, const char *); /* This header may be included before diagnostics-core.h, hence the duplicate definitions to allow for GCC-specific formats. */ -#if GCC_VERSION >= 3005 +#if GCC_VERSION >= 3005 && 0 #define ATTRIBUTE_GCC_PPDIAG(m, n) __attribute__ ((__format__ (__gcc_diag__, m ,n))) ATTRIBUTE_NONNULL(m) #else #define ATTRIBUTE_GCC_PPDIAG(m, n) ATTRIBUTE_NONNULL(m) |