diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-11-09 14:02:41 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-11-09 14:02:41 +0200 |
commit | edae7d98cfac5f55782236d397c831f68ebe11a6 (patch) | |
tree | 417df3223034fb02421731412203ae361c43e15a /odb/options.cli | |
parent | ce696c26d2c9dd5a5813fd865082ab19ac49bcfa (diff) |
Implement new compilation architecture
Instead of compiling the header directly, g++ is now invoked to compile
stdin. At the same time the odb driver pipes the original header to g++.
This new approach allows us to add some source code before and/or after
the original header.
Diffstat (limited to 'odb/options.cli')
-rw-r--r-- | odb/options.cli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/odb/options.cli b/odb/options.cli index 4abfc84..5d24f8a 100644 --- a/odb/options.cli +++ b/odb/options.cli @@ -288,4 +288,10 @@ class options database-default engine, pass \cb{default} as the value for this option." }; + + // + // Undocumented options that are used to pass service information + // between the frontend and the plugin. + // + std::string --svc-file; }; |