76945a3b81
Specifically, an additional initialization option and data about which commands are later executed. Change-Id: If71f696006527e9104d7765bdd43a913786cad97 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/268860 Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>