diff options
-rw-r--r-- | odb/odb.cxx | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/odb/odb.cxx b/odb/odb.cxx index eca2dca..0c5322f 100644 --- a/odb/odb.cxx +++ b/odb/odb.cxx @@ -188,6 +188,13 @@ main (int argc, char* argv[]) string k, v; string a (plugin_args[i]); + if (a == "--") + { + // Ignore the option seperator since GCC doesn't understand it. + // + continue; + } + if (a.size () > 2) k = string (a, 2); // long format else |