diff options
| author | Rafael Avila de Espindola <espindola@google.com> | 2009-04-16 14:31:45 +0000 |
|---|---|---|
| committer | Rafael Espindola <espindola@gcc.gnu.org> | 2009-04-16 14:31:45 +0000 |
| commit | 02e819ffd481be3a48701f535e7daad5ddaaae6a (patch) | |
| tree | c6fbd7f9013fa3335143a10692c790200c87a198 /gcc/plugin.h | |
| parent | 0455c7f47e493504b31d90195271a52d74099fbe (diff) | |
| download | gcc-02e819ffd481be3a48701f535e7daad5ddaaae6a.zip gcc-02e819ffd481be3a48701f535e7daad5ddaaae6a.tar.gz gcc-02e819ffd481be3a48701f535e7daad5ddaaae6a.tar.bz2 | |
common.opt (fhelp): Add Var(help_flag).
2009-04-16 Rafael Avila de Espindola <espindola@google.com>
* common.opt (fhelp): Add Var(help_flag).
* gcc-plugin.h (plugin_info): Add help.
* plugin.c (plugin_name_args): Add help.
(register_plugin_info): Set plugin->help.
(print_help_one_plugin): New.
(print_plugins_help): New.
* plugin.h (print_plugins_help): New.
* toplev.c (toplev_main): Call print_plugins_help if needed.
From-SVN: r146195
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 */ |