diff options
Diffstat (limited to 'odb/odb.cxx')
-rw-r--r-- | odb/odb.cxx | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/odb/odb.cxx b/odb/odb.cxx index b53b7ea..b6f76a0 100644 --- a/odb/odb.cxx +++ b/odb/odb.cxx @@ -49,7 +49,11 @@ main (int argc, char* argv[]) // The first argument points to the program name, which is // g++ by default. // +#ifdef GXX_NAME + args.push_back (GXX_NAME); +#else args.push_back ("g++"); +#endif // Default options. // @@ -202,6 +206,15 @@ main (int argc, char* argv[]) return 0; } + // Check that required options were specifed. + // + if (!ops.database_specified ()) + { + e << argv[0] << ": error: no database specified with the --database " + << "option" << endl; + return 1; + } + size_t end (scan.end () - 1); // We have one less in plugin_args. if (end == plugin_args.size ()) |