diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-11-19 10:14:42 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-11-19 10:14:42 +0200 |
commit | 7d82192a5d9e87b14625ba3aff2413e09da827be (patch) | |
tree | 8ec77c4b20d0c8a2a23101d85a7851e51b9f5ad0 /odb/makefile | |
parent | 06161c2ba7e3d032268e9483a04b46a00b8c86db (diff) |
Fix bug in option passing between driver and plugin
This requires new option description functionality from CLI.
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 ac11dca..0724ec6 100644 --- a/odb/makefile +++ b/odb/makefile @@ -118,6 +118,7 @@ $(gen): $(cli) $(gen): cli := $(cli) $(gen): cli_options += \ --generate-specifier \ +--generate-description \ --suppress-undocumented \ --generate-file-scanner \ --include-with-brackets \ |