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 923f0add0cf..9362e6a23e5 100644 --- a/gcc/plugin.c +++ b/gcc/plugin.c @@ -767,7 +767,7 @@ print_plugins_help (FILE *file, const char *indent) bool plugins_active_p (void) { - enum plugin_event event; + int event; for (event = PLUGIN_PASS_MANAGER_SETUP; event < PLUGIN_EVENT_LAST; event++) if (plugin_callbacks[event]) @@ -783,7 +783,7 @@ plugins_active_p (void) void dump_active_plugins (FILE *file) { - enum plugin_event event; + int event; if (!plugins_active_p ()) return; |