From cc75e759479c72ba3ae1c7465ea1e2eeca09f18e Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Fri, 24 Jul 2015 19:03:30 +0200 Subject: Fix bug in passing empty option values via plugin command line --- odb/plugin.cxx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'odb/plugin.cxx') 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); } -- cgit v1.1