diff options
Diffstat (limited to 'odb/plugin.cxx')
| -rw-r--r-- | odb/plugin.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/odb/plugin.cxx b/odb/plugin.cxx index c5dcc89..e7eee3d 100644 --- a/odb/plugin.cxx +++ b/odb/plugin.cxx @@ -286,6 +286,7 @@ plugin_init (plugin_name_args* plugin_info, plugin_gcc_version*) process_options (*ops); options_ = ops; + pragma_db_ = db; } if (options_->trace ()) |