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/makefile | |
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/makefile')
-rw-r--r-- | odb/makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/odb/makefile b/odb/makefile index 761dcb0..ac11dca 100644 --- a/odb/makefile +++ b/odb/makefile @@ -118,6 +118,7 @@ $(gen): $(cli) $(gen): cli := $(cli) $(gen): cli_options += \ --generate-specifier \ +--suppress-undocumented \ --generate-file-scanner \ --include-with-brackets \ --include-prefix odb \ |