diff options
Diffstat (limited to 'odb/plugin.cxx')
| -rw-r--r-- | odb/plugin.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odb/plugin.cxx b/odb/plugin.cxx index ed7bd14..fbbfe46 100644 --- a/odb/plugin.cxx +++ b/odb/plugin.cxx @@ -317,7 +317,7 @@ plugin_init (plugin_name_args* plugin_info, plugin_gcc_version*) argv_str.push_back (opt); - if (!v.empty ()) + if (a.value != 0) argv_str.push_back (v); } |