tokendb_updater: Use build options
Bug: 600
Change-Id: Ie10ed1a9a40e74afb36d9dd144439ab86644bb1d
Reviewed-on: https://pigweed-review.googlesource.com/c/infra/recipes/+/79465
Pigweed-Auto-Submit: Rob Mohr <mohrr@google.com>
Reviewed-by: Oliver Newman <olivernewman@google.com>
Commit-Queue: Auto-Submit <auto-submit@pigweed.google.com.iam.gserviceaccount.com>
diff --git a/recipes/tokendb_updater.proto b/recipes/tokendb_updater.proto
index 71046c5..b9c9002 100644
--- a/recipes/tokendb_updater.proto
+++ b/recipes/tokendb_updater.proto
@@ -16,6 +16,8 @@
package recipes.pigweed.tokendb_updater;
+import "recipe_modules/pigweed/build/options.proto";
+
message InputProperties {
// Vote Bot-Commit+1 instead of Code-Review+2.
bool bot_commit = 1;
@@ -41,4 +43,7 @@
// Don't do anything that has external effects.
bool dry_run = 8;
+
+ // Build module options.
+ recipe_modules.pigweed.build.Options build_options = 9;
}
diff --git a/recipes/tokendb_updater.py b/recipes/tokendb_updater.py
index 8054081..7fd9e78 100644
--- a/recipes/tokendb_updater.py
+++ b/recipes/tokendb_updater.py
@@ -98,7 +98,7 @@
api.environment.init(api.checkout.root)
with api.environment():
- api.build(api.checkout.root)
+ api.build(api.checkout.root, props.build_options)
tokendb_path = tokendb_repo.join(*re.split(r'/+', props.tokendb_path))