diff options
Diffstat (limited to 'gcc/gcc-plugin.h')
| -rw-r--r-- | gcc/gcc-plugin.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/gcc-plugin.h b/gcc/gcc-plugin.h index 275be1d980a..948c4397570 100644 --- a/gcc/gcc-plugin.h +++ b/gcc/gcc-plugin.h @@ -141,4 +141,10 @@ extern void register_callback (const char *plugin_name, extern int unregister_callback (const char *plugin_name, int event); + +/* Retrieve the plugin directory name, as returned by the + -fprint-file-name=plugin argument to the gcc program, which is the + -iplugindir program argument to cc1. */ +extern const char* default_plugin_dir_name (void); + #endif /* GCC_PLUGIN_H */ |