diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2015-07-24 19:03:30 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-07-24 19:03:30 +0200 |
commit | cc75e759479c72ba3ae1c7465ea1e2eeca09f18e (patch) | |
tree | 81870e94a683f43854b620242803a185cb322ef3 /odb/plugin.cxx | |
parent | 83a56cf2b87580cbd9d8ca0290f3f74d2dfa0492 (diff) |
Fix bug in passing empty option values via plugin command line
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); } |