diff options
Diffstat (limited to 'gcc/plugin.c')
| -rw-r--r-- | gcc/plugin.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/plugin.c b/gcc/plugin.c index f6c61d2..2896c6a 100644 --- a/gcc/plugin.c +++ b/gcc/plugin.c @@ -290,7 +290,7 @@ parse_plugin_arg_opt (const char *arg) if (!key_start) { - error ("malformed option -fplugin-arg-%s (missing -<key>[=<value>])", + error ("malformed option %<-fplugin-arg-%s%> (missing -<key>[=<value>])", arg); return; } @@ -353,7 +353,7 @@ parse_plugin_arg_opt (const char *arg) plugin->argv[plugin->argc - 1].value = value; } else - error ("plugin %s should be specified before -fplugin-arg-%s " + error ("plugin %s should be specified before %<-fplugin-arg-%s%> " "in the command line", name, arg); /* We don't need the plugin's name anymore. Just release it. */ @@ -1003,6 +1003,6 @@ default_plugin_dir_name (void) { if (!plugindir_string) fatal_error (input_location, - "-iplugindir <dir> option not passed from the gcc driver"); + "%<-iplugindir%> <dir> option not passed from the gcc driver"); return plugindir_string; } |