tree 9bf1b63dd6dc4b97507dbf1103dd140345cb2f6c
parent c703e05689125b0c17aba826cfc7e127e3adfa88
author Alexander Markov <alexmarkov@google.com> 1590622644 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1590622644 +0000

[vm/kernel] Fix --no-link-platform option of gen_kernel tool

Change-Id: I917374540831f9d0d75af9f03730e06ecf26602f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/149020
Reviewed-by: Jens Johansen <jensj@google.com>
Commit-Queue: Alexander Markov <alexmarkov@google.com>