Index: tools/buildbot_spec.py |
diff --git a/tools/buildbot_spec.py b/tools/buildbot_spec.py |
index 7e5658f6bb0a139ee70821c65223bff3a0de9958..8204c6d6dcf3daaa07ad777d4ac525184d62cf24 100755 |
--- a/tools/buildbot_spec.py |
+++ b/tools/buildbot_spec.py |
@@ -20,6 +20,8 @@ import os |
import sys |
import builder_name_schema |
+import dm_flags |
+import nanobench_flags |
def lineno(): |
@@ -223,7 +225,9 @@ def get_builder_spec(builder_name): |
rv = { |
'build_targets': build_targets_from_builder_dict(builder_dict), |
'builder_cfg': builder_dict, |
+ 'dm_flags': dm_flags.get_args(builder_name), |
'env': env, |
+ 'nanobench_flags': nanobench_flags.get_args(builder_name), |
} |
device = device_cfg(builder_dict) |
if device: |