commit fd1ac98359894e75dfb8ab62a02dc1b764fff075
author Tess Strickland <sstrickl@google.com> Mon Jan 15 15:36:17 2024 +0000
committer Commit Queue <dart-scoped@luci-project-accounts.iam.gserviceaccount.com> Mon Jan 15 15:36:17 2024 +0000
tree 0f2903e137bf10c437b777c5d36e2a440e3eb366
parent 35dd27c28b1aa2c161eac62a1e773ea97888b9a6

[tools] Pass through offsets extractor arguments to tools/build.py.

Allows the builds to be run with non-default arguments, for example:

dart tools/run_offsets_extractor.dart --no-rbe

Change-Id: I1299b156a40baab27db890c0b0ae5f2f945c4259
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/346361
Reviewed-by: Jonas Termansen <sortie@google.com>
Commit-Queue: Tess Strickland <sstrickl@google.com>

tools/run_offsets_extractor.dart

diff --git a/tools/run_offsets_extractor.dart b/tools/run_offsets_extractor.dart
index 06ebab7..09c220c 100755
--- a/tools/run_offsets_extractor.dart
+++ b/tools/run_offsets_extractor.dart
@@ -9,7 +9,7 @@
 
 final pool = Pool(Platform.numberOfProcessors);
 
-main() async {
+main(List<String> args) async {
   final sdkRoot = Platform.script.resolve('../').toFilePath();
   Directory.current = Directory(sdkRoot);
 
@@ -26,6 +26,7 @@
     print('Building $buildDir');
     await run([
       'tools/build.py',
+      ...args,
       '-a$arch',
       '-m$mode',
       'offsets_extractor',