diff options
Diffstat (limited to 'gcc/plugin.c')
| -rw-r--r-- | gcc/plugin.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/plugin.c b/gcc/plugin.c index 1c737a5..6de4a8b 100644 --- a/gcc/plugin.c +++ b/gcc/plugin.c @@ -778,7 +778,7 @@ plugins_active_p (void) /* Dump to FILE the names and associated events for all the active plugins. */ -void +DEBUG_FUNCTION void dump_active_plugins (FILE *file) { int event; @@ -804,7 +804,7 @@ dump_active_plugins (FILE *file) /* Dump active plugins to stderr. */ -void +DEBUG_FUNCTION void debug_active_plugins (void) { dump_active_plugins (stderr); |