summaryrefslogtreecommitdiff
path: root/odb/options.cli
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2020-06-11 11:36:07 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2020-06-11 15:57:30 +0300
commit1ca3ce471906f08d23f9163cdb8da884175ed331 (patch)
treea273bc264e6ee982b6d8d6cb31b85568d462b348 /odb/options.cli
parentad26234a4313096a018bdbe162cff4d6440ba484 (diff)
Add metadata
Diffstat (limited to 'odb/options.cli')
-rw-r--r--odb/options.cli3
1 files changed, 3 insertions, 0 deletions
diff --git a/odb/options.cli b/odb/options.cli
index e202159..bb8797b 100644
--- a/odb/options.cli
+++ b/odb/options.cli
@@ -5,6 +5,7 @@ include <set>;
include <vector>;
include <string>;
include <cstddef>;
+include <cstdint>;
include <odb/option-types.hxx>;
@@ -14,6 +15,8 @@ class options
// Wrapper options. These are not passed to the plugin.
//
+ std::uint64_t --build2-metadata; // Leave undocumented/hidden.
+
bool --help {"Print usage information and exit."};
bool --version {"Print version and exit."};