056afdac39
* Remove all uses of `--dart2js-batch`. * Enable batch mode for dart2js by default. * Rename `--noBatch` to `--no-batch`. * Make `--no-batch` affect dart2js configurations. Change-Id: I33bdb5cfe8a82ccfc6ce9e43843f1b7a34ff1fbf Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/217006 Reviewed-by: Sigmund Cherem <sigmund@google.com> Commit-Queue: Alexander Thomas <athom@google.com>