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))