diff options
Diffstat (limited to 'gcc/plugin.h')
| -rw-r--r-- | gcc/plugin.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/plugin.h b/gcc/plugin.h index d8cf691..c1f566b 100644 --- a/gcc/plugin.h +++ b/gcc/plugin.h @@ -30,6 +30,7 @@ extern bool plugins_active_p (void); extern void dump_active_plugins (FILE *); extern void debug_active_plugins (void); extern void print_plugins_versions (FILE *file, const char *indent); +extern void print_plugins_help (FILE *file, const char *indent); extern void finalize_plugins (void); #endif /* PLUGIN_H */ |